Matches in SemOpenAlex for { <https://semopenalex.org/work/W2151084560> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2151084560 endingPage "425" @default.
- W2151084560 startingPage "420" @default.
- W2151084560 abstract "In this paper we introduce a novel concept that can be used for augmenting simulation based verification at the Register Transfer Level (RTL). In this technique the designer of an RTL circuit introduces some well understood extra behavior (through some extra circuitry) into the circuit under verification. This can be termed as design for verification. During RTL simulation this extra behavior is utilized in conjunction with the original behavior to exercise the design more thoroughly thus making it easier to detect errors in the original design. Once the circuit is thoroughly verified for functionality the extra behavioral constructs can be removed to produce the original verified design. Extensive experiments on a number of industrial circuits demonstrate that the method is promising." @default.
- W2151084560 created "2016-06-24" @default.
- W2151084560 creator A5017395603 @default.
- W2151084560 creator A5032544208 @default.
- W2151084560 creator A5060639700 @default.
- W2151084560 date "2002-01-07" @default.
- W2151084560 modified "2023-09-25" @default.
- W2151084560 title "Design for Verification at the Register Transfer Level" @default.
- W2151084560 cites W1519341086 @default.
- W2151084560 cites W1554885925 @default.
- W2151084560 cites W2044621917 @default.
- W2151084560 cites W2083897388 @default.
- W2151084560 cites W2153357921 @default.
- W2151084560 cites W2161314693 @default.
- W2151084560 doi "https://doi.org/10.5555/832284.835401" @default.
- W2151084560 hasPublicationYear "2002" @default.
- W2151084560 type Work @default.
- W2151084560 sameAs 2151084560 @default.
- W2151084560 citedByCount "1" @default.
- W2151084560 crossrefType "proceedings-article" @default.
- W2151084560 hasAuthorship W2151084560A5017395603 @default.
- W2151084560 hasAuthorship W2151084560A5032544208 @default.
- W2151084560 hasAuthorship W2151084560A5060639700 @default.
- W2151084560 hasConcept C111498074 @default.
- W2151084560 hasConcept C113775141 @default.
- W2151084560 hasConcept C11413529 @default.
- W2151084560 hasConcept C118524514 @default.
- W2151084560 hasConcept C119599485 @default.
- W2151084560 hasConcept C127413603 @default.
- W2151084560 hasConcept C131017901 @default.
- W2151084560 hasConcept C134146338 @default.
- W2151084560 hasConcept C149091818 @default.
- W2151084560 hasConcept C149635348 @default.
- W2151084560 hasConcept C157922185 @default.
- W2151084560 hasConcept C186846655 @default.
- W2151084560 hasConcept C187250869 @default.
- W2151084560 hasConcept C188817802 @default.
- W2151084560 hasConcept C190560348 @default.
- W2151084560 hasConcept C199360897 @default.
- W2151084560 hasConcept C2777904410 @default.
- W2151084560 hasConcept C34854456 @default.
- W2151084560 hasConcept C41008148 @default.
- W2151084560 hasConcept C62460635 @default.
- W2151084560 hasConcept C64260653 @default.
- W2151084560 hasConcept C64859876 @default.
- W2151084560 hasConceptScore W2151084560C111498074 @default.
- W2151084560 hasConceptScore W2151084560C113775141 @default.
- W2151084560 hasConceptScore W2151084560C11413529 @default.
- W2151084560 hasConceptScore W2151084560C118524514 @default.
- W2151084560 hasConceptScore W2151084560C119599485 @default.
- W2151084560 hasConceptScore W2151084560C127413603 @default.
- W2151084560 hasConceptScore W2151084560C131017901 @default.
- W2151084560 hasConceptScore W2151084560C134146338 @default.
- W2151084560 hasConceptScore W2151084560C149091818 @default.
- W2151084560 hasConceptScore W2151084560C149635348 @default.
- W2151084560 hasConceptScore W2151084560C157922185 @default.
- W2151084560 hasConceptScore W2151084560C186846655 @default.
- W2151084560 hasConceptScore W2151084560C187250869 @default.
- W2151084560 hasConceptScore W2151084560C188817802 @default.
- W2151084560 hasConceptScore W2151084560C190560348 @default.
- W2151084560 hasConceptScore W2151084560C199360897 @default.
- W2151084560 hasConceptScore W2151084560C2777904410 @default.
- W2151084560 hasConceptScore W2151084560C34854456 @default.
- W2151084560 hasConceptScore W2151084560C41008148 @default.
- W2151084560 hasConceptScore W2151084560C62460635 @default.
- W2151084560 hasConceptScore W2151084560C64260653 @default.
- W2151084560 hasConceptScore W2151084560C64859876 @default.
- W2151084560 hasLocation W21510845601 @default.
- W2151084560 hasOpenAccess W2151084560 @default.
- W2151084560 hasPrimaryLocation W21510845601 @default.
- W2151084560 hasRelatedWork W1488370671 @default.
- W2151084560 hasRelatedWork W1505454266 @default.
- W2151084560 hasRelatedWork W1515179926 @default.
- W2151084560 hasRelatedWork W1573884682 @default.
- W2151084560 hasRelatedWork W1939683647 @default.
- W2151084560 hasRelatedWork W1980027520 @default.
- W2151084560 hasRelatedWork W2103726854 @default.
- W2151084560 hasRelatedWork W2107488935 @default.
- W2151084560 hasRelatedWork W2108495667 @default.
- W2151084560 hasRelatedWork W2113282403 @default.
- W2151084560 hasRelatedWork W2117255572 @default.
- W2151084560 hasRelatedWork W2120261017 @default.
- W2151084560 hasRelatedWork W2152924460 @default.
- W2151084560 hasRelatedWork W2158410203 @default.
- W2151084560 hasRelatedWork W2159907637 @default.
- W2151084560 hasRelatedWork W2162204589 @default.
- W2151084560 hasRelatedWork W2171467631 @default.
- W2151084560 hasRelatedWork W2535443250 @default.
- W2151084560 hasRelatedWork W2544461385 @default.
- W2151084560 hasRelatedWork W896952140 @default.
- W2151084560 isParatext "false" @default.
- W2151084560 isRetracted "false" @default.
- W2151084560 magId "2151084560" @default.
- W2151084560 workType "article" @default.