Matches in SemOpenAlex for { <https://semopenalex.org/work/W56282777> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W56282777 abstract "In this paper we describe a methodology and experience of simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of preconditions and postconditions of microoperations. We have successfully applied the methodology to several units of the industrial microprocessor. The experience shows that cycle-accurate contract specifications are very suitable for simulation-based verification, since, first, they represent functional requirements on a unit in comprehensible declarative form, and second, they make it possible to automatically construct test oracles which verify unit correctness." @default.
- W56282777 created "2016-06-24" @default.
- W56282777 creator A5052354481 @default.
- W56282777 creator A5071221524 @default.
- W56282777 creator A5090705106 @default.
- W56282777 date "2008-01-01" @default.
- W56282777 modified "2023-09-23" @default.
- W56282777 title "Methodology and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications" @default.
- W56282777 cites W1511234963 @default.
- W56282777 cites W1514939953 @default.
- W56282777 cites W1562729533 @default.
- W56282777 cites W1576418322 @default.
- W56282777 cites W1602612484 @default.
- W56282777 cites W2065555358 @default.
- W56282777 cites W2072547867 @default.
- W56282777 cites W2119898505 @default.
- W56282777 cites W2319095408 @default.
- W56282777 doi "https://doi.org/10.15514/syrcose-2008-2-17" @default.
- W56282777 hasPublicationYear "2008" @default.
- W56282777 type Work @default.
- W56282777 sameAs 56282777 @default.
- W56282777 citedByCount "5" @default.
- W56282777 countsByYear W562827772014 @default.
- W56282777 crossrefType "proceedings-article" @default.
- W56282777 hasAuthorship W56282777A5052354481 @default.
- W56282777 hasAuthorship W56282777A5071221524 @default.
- W56282777 hasAuthorship W56282777A5090705106 @default.
- W56282777 hasBestOaLocation W562827771 @default.
- W56282777 hasConcept C115903868 @default.
- W56282777 hasConcept C127413603 @default.
- W56282777 hasConcept C149635348 @default.
- W56282777 hasConcept C200601418 @default.
- W56282777 hasConcept C201995342 @default.
- W56282777 hasConcept C2780728072 @default.
- W56282777 hasConcept C41008148 @default.
- W56282777 hasConceptScore W56282777C115903868 @default.
- W56282777 hasConceptScore W56282777C127413603 @default.
- W56282777 hasConceptScore W56282777C149635348 @default.
- W56282777 hasConceptScore W56282777C200601418 @default.
- W56282777 hasConceptScore W56282777C201995342 @default.
- W56282777 hasConceptScore W56282777C2780728072 @default.
- W56282777 hasConceptScore W56282777C41008148 @default.
- W56282777 hasLocation W562827771 @default.
- W56282777 hasLocation W562827772 @default.
- W56282777 hasOpenAccess W56282777 @default.
- W56282777 hasPrimaryLocation W562827771 @default.
- W56282777 hasRelatedWork W2038405969 @default.
- W56282777 hasRelatedWork W2054980059 @default.
- W56282777 hasRelatedWork W2071306783 @default.
- W56282777 hasRelatedWork W2112096947 @default.
- W56282777 hasRelatedWork W2992730791 @default.
- W56282777 hasRelatedWork W4236535546 @default.
- W56282777 hasRelatedWork W4239905377 @default.
- W56282777 hasRelatedWork W4242032907 @default.
- W56282777 hasRelatedWork W4245327557 @default.
- W56282777 hasRelatedWork W4249113507 @default.
- W56282777 isParatext "false" @default.
- W56282777 isRetracted "false" @default.
- W56282777 magId "56282777" @default.
- W56282777 workType "article" @default.