Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116794285> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2116794285 abstract "Equivalence checking between Register Transfer Level (RTL) descriptions and transistor level descriptions of custom memories is an important step in the design flow of high performance microprocessors. Equivalence checking can be done with or without the knowledge of state mapping between the two descriptions. We present evidence that because of state mapping, our verification technique exercises system behavior that exposes hard-to-detect bugs that might otherwise go undetected. This paper defines Crossover Bugs (CB's) that can be present in scan-based custom designs and that are inherently hard-to-detect without state mapping. We demonstrate that such bugs can be missed by equivalence checking techniques that do not have state mappings between the two descriptions. By identifying the state correspondences between the RTL and the transistor implementation of custom memories, a more rigorous equivalence check can be performed compared to traditional equivalence checking methods such as product machine constructions. We also compare the time and memory complexities of crossover bug detection capability of the two equivalence checking approaches. We conclude with experimental results of CB detection on some of the custom designed embedded memories of Motorola's MPC 7455 microprocessor (compliant with IBM's PowerPC instruction set architecture)." @default.
- W2116794285 created "2016-06-24" @default.
- W2116794285 creator A5011349515 @default.
- W2116794285 creator A5057494222 @default.
- W2116794285 creator A5064643244 @default.
- W2116794285 creator A5068070739 @default.
- W2116794285 date "2003-06-25" @default.
- W2116794285 modified "2023-09-27" @default.
- W2116794285 title "Is state mapping essential for equivalence checking custom memories in scan-based designs?" @default.
- W2116794285 cites W146581358 @default.
- W2116794285 cites W1599313551 @default.
- W2116794285 cites W1986558678 @default.
- W2116794285 cites W2000498093 @default.
- W2116794285 cites W2028225730 @default.
- W2116794285 cites W2083897388 @default.
- W2116794285 cites W2120498916 @default.
- W2116794285 cites W2132055325 @default.
- W2116794285 cites W2151940902 @default.
- W2116794285 doi "https://doi.org/10.1109/vts.2002.1011152" @default.
- W2116794285 hasPublicationYear "2003" @default.
- W2116794285 type Work @default.
- W2116794285 sameAs 2116794285 @default.
- W2116794285 citedByCount "1" @default.
- W2116794285 crossrefType "proceedings-article" @default.
- W2116794285 hasAuthorship W2116794285A5011349515 @default.
- W2116794285 hasAuthorship W2116794285A5057494222 @default.
- W2116794285 hasAuthorship W2116794285A5064643244 @default.
- W2116794285 hasAuthorship W2116794285A5068070739 @default.
- W2116794285 hasConcept C110251889 @default.
- W2116794285 hasConcept C111498074 @default.
- W2116794285 hasConcept C118615104 @default.
- W2116794285 hasConcept C149635348 @default.
- W2116794285 hasConcept C171250308 @default.
- W2116794285 hasConcept C173608175 @default.
- W2116794285 hasConcept C192562407 @default.
- W2116794285 hasConcept C199360897 @default.
- W2116794285 hasConcept C202491316 @default.
- W2116794285 hasConcept C2777904410 @default.
- W2116794285 hasConcept C2780069185 @default.
- W2116794285 hasConcept C2780728072 @default.
- W2116794285 hasConcept C33923547 @default.
- W2116794285 hasConcept C41008148 @default.
- W2116794285 hasConcept C48103436 @default.
- W2116794285 hasConcept C56005371 @default.
- W2116794285 hasConcept C70388272 @default.
- W2116794285 hasConcept C9390403 @default.
- W2116794285 hasConcept C96654402 @default.
- W2116794285 hasConceptScore W2116794285C110251889 @default.
- W2116794285 hasConceptScore W2116794285C111498074 @default.
- W2116794285 hasConceptScore W2116794285C118615104 @default.
- W2116794285 hasConceptScore W2116794285C149635348 @default.
- W2116794285 hasConceptScore W2116794285C171250308 @default.
- W2116794285 hasConceptScore W2116794285C173608175 @default.
- W2116794285 hasConceptScore W2116794285C192562407 @default.
- W2116794285 hasConceptScore W2116794285C199360897 @default.
- W2116794285 hasConceptScore W2116794285C202491316 @default.
- W2116794285 hasConceptScore W2116794285C2777904410 @default.
- W2116794285 hasConceptScore W2116794285C2780069185 @default.
- W2116794285 hasConceptScore W2116794285C2780728072 @default.
- W2116794285 hasConceptScore W2116794285C33923547 @default.
- W2116794285 hasConceptScore W2116794285C41008148 @default.
- W2116794285 hasConceptScore W2116794285C48103436 @default.
- W2116794285 hasConceptScore W2116794285C56005371 @default.
- W2116794285 hasConceptScore W2116794285C70388272 @default.
- W2116794285 hasConceptScore W2116794285C9390403 @default.
- W2116794285 hasConceptScore W2116794285C96654402 @default.
- W2116794285 hasLocation W21167942851 @default.
- W2116794285 hasOpenAccess W2116794285 @default.
- W2116794285 hasPrimaryLocation W21167942851 @default.
- W2116794285 hasRelatedWork W1483806673 @default.
- W2116794285 hasRelatedWork W1510353087 @default.
- W2116794285 hasRelatedWork W1537387651 @default.
- W2116794285 hasRelatedWork W169338319 @default.
- W2116794285 hasRelatedWork W2096133083 @default.
- W2116794285 hasRelatedWork W2118866838 @default.
- W2116794285 hasRelatedWork W2183184403 @default.
- W2116794285 hasRelatedWork W2188057831 @default.
- W2116794285 hasRelatedWork W2401075618 @default.
- W2116794285 hasRelatedWork W2494788524 @default.
- W2116794285 hasRelatedWork W2528631245 @default.
- W2116794285 hasRelatedWork W2738569992 @default.
- W2116794285 hasRelatedWork W2884181463 @default.
- W2116794285 hasRelatedWork W2895905110 @default.
- W2116794285 hasRelatedWork W3136303866 @default.
- W2116794285 hasRelatedWork W49864161 @default.
- W2116794285 hasRelatedWork W574795656 @default.
- W2116794285 hasRelatedWork W5936772 @default.
- W2116794285 hasRelatedWork W66319915 @default.
- W2116794285 hasRelatedWork W129880873 @default.
- W2116794285 isParatext "false" @default.
- W2116794285 isRetracted "false" @default.
- W2116794285 magId "2116794285" @default.
- W2116794285 workType "article" @default.