Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113124814> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2113124814 abstract "High performance designs must conform to stringent timing requirements. Designers frequently utilize low-level optimization techniques and develop many iterations of the same block in order to close a timing gap. Simulation with random stimulus is the traditional method for verifying that these changes do not introduce a change in the functional behavior of the block. For the development of a new high-performance core at Freescale Semiconductor the authors decided to instead research the possibility of using formal techniques, in the form of sequential equivalence checking, for this form of verification. Various equivalence checking tools were evaluated for this task. Initial results looked promising and the authors decided to integrate this capability into our design flow. This paper describes the experience and also addresses some of the problems that were exposed and how we plan to deal with them" @default.
- W2113124814 created "2016-06-24" @default.
- W2113124814 creator A5011349515 @default.
- W2113124814 creator A5087708802 @default.
- W2113124814 date "2005-11-01" @default.
- W2113124814 modified "2023-09-25" @default.
- W2113124814 title "Retiming Verification Using Sequential Equivalence Checking" @default.
- W2113124814 cites W2171706011 @default.
- W2113124814 doi "https://doi.org/10.1109/mtv.2005.22" @default.
- W2113124814 hasPublicationYear "2005" @default.
- W2113124814 type Work @default.
- W2113124814 sameAs 2113124814 @default.
- W2113124814 citedByCount "0" @default.
- W2113124814 crossrefType "proceedings-article" @default.
- W2113124814 hasAuthorship W2113124814A5011349515 @default.
- W2113124814 hasAuthorship W2113124814A5087708802 @default.
- W2113124814 hasConcept C110251889 @default.
- W2113124814 hasConcept C111498074 @default.
- W2113124814 hasConcept C113775141 @default.
- W2113124814 hasConcept C11413529 @default.
- W2113124814 hasConcept C118615104 @default.
- W2113124814 hasConcept C127413603 @default.
- W2113124814 hasConcept C149635348 @default.
- W2113124814 hasConcept C199360897 @default.
- W2113124814 hasConcept C200601418 @default.
- W2113124814 hasConcept C2524010 @default.
- W2113124814 hasConcept C2777210771 @default.
- W2113124814 hasConcept C2780069185 @default.
- W2113124814 hasConcept C33923547 @default.
- W2113124814 hasConcept C41008148 @default.
- W2113124814 hasConcept C41112130 @default.
- W2113124814 hasConcept C42935608 @default.
- W2113124814 hasConcept C58013763 @default.
- W2113124814 hasConcept C62460635 @default.
- W2113124814 hasConcept C80444323 @default.
- W2113124814 hasConcept C96654402 @default.
- W2113124814 hasConceptScore W2113124814C110251889 @default.
- W2113124814 hasConceptScore W2113124814C111498074 @default.
- W2113124814 hasConceptScore W2113124814C113775141 @default.
- W2113124814 hasConceptScore W2113124814C11413529 @default.
- W2113124814 hasConceptScore W2113124814C118615104 @default.
- W2113124814 hasConceptScore W2113124814C127413603 @default.
- W2113124814 hasConceptScore W2113124814C149635348 @default.
- W2113124814 hasConceptScore W2113124814C199360897 @default.
- W2113124814 hasConceptScore W2113124814C200601418 @default.
- W2113124814 hasConceptScore W2113124814C2524010 @default.
- W2113124814 hasConceptScore W2113124814C2777210771 @default.
- W2113124814 hasConceptScore W2113124814C2780069185 @default.
- W2113124814 hasConceptScore W2113124814C33923547 @default.
- W2113124814 hasConceptScore W2113124814C41008148 @default.
- W2113124814 hasConceptScore W2113124814C41112130 @default.
- W2113124814 hasConceptScore W2113124814C42935608 @default.
- W2113124814 hasConceptScore W2113124814C58013763 @default.
- W2113124814 hasConceptScore W2113124814C62460635 @default.
- W2113124814 hasConceptScore W2113124814C80444323 @default.
- W2113124814 hasConceptScore W2113124814C96654402 @default.
- W2113124814 hasLocation W21131248141 @default.
- W2113124814 hasOpenAccess W2113124814 @default.
- W2113124814 hasPrimaryLocation W21131248141 @default.
- W2113124814 hasRelatedWork W2035731992 @default.
- W2113124814 hasRelatedWork W2056847529 @default.
- W2113124814 hasRelatedWork W2106507440 @default.
- W2113124814 hasRelatedWork W2113124814 @default.
- W2113124814 hasRelatedWork W2128513456 @default.
- W2113124814 hasRelatedWork W2133226426 @default.
- W2113124814 hasRelatedWork W2133381457 @default.
- W2113124814 hasRelatedWork W2134741216 @default.
- W2113124814 hasRelatedWork W2262364909 @default.
- W2113124814 hasRelatedWork W47563837 @default.
- W2113124814 isParatext "false" @default.
- W2113124814 isRetracted "false" @default.
- W2113124814 magId "2113124814" @default.
- W2113124814 workType "article" @default.