Matches in SemOpenAlex for { <https://semopenalex.org/work/W1838755122> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1838755122 abstract "Despite great advances in Formal Verification (FV) simulation is still the primary means for design validation. The definition of pragmatic measures for the coverage achieved and the problem of automatic test generation (ATG) are of great importance. In this paper we introduce a new set of metrics, the Event Sequence Coverage Metrics (ESCMs). Our approach is based on an automatic method to extract the control flow of a circuit which can be explored for coverage analysis and ATG. We combine FV and traditional ATPG techniques to automatically generate sequences which traverse uncovered parts of the control graph or exercise uninstantiated control event sequences." @default.
- W1838755122 created "2016-06-24" @default.
- W1838755122 creator A5053323895 @default.
- W1838755122 creator A5068070739 @default.
- W1838755122 date "2002-11-27" @default.
- W1838755122 modified "2023-09-23" @default.
- W1838755122 title "Using verification technology for validation coverage analysis and test generation" @default.
- W1838755122 cites W1516339813 @default.
- W1838755122 cites W2009653580 @default.
- W1838755122 cites W2127776597 @default.
- W1838755122 cites W2128475506 @default.
- W1838755122 cites W2145738444 @default.
- W1838755122 cites W2150764159 @default.
- W1838755122 cites W2165392277 @default.
- W1838755122 cites W2168755506 @default.
- W1838755122 doi "https://doi.org/10.1109/vtest.1998.670877" @default.
- W1838755122 hasPublicationYear "2002" @default.
- W1838755122 type Work @default.
- W1838755122 sameAs 1838755122 @default.
- W1838755122 citedByCount "1" @default.
- W1838755122 countsByYear W18387551222015 @default.
- W1838755122 crossrefType "proceedings-article" @default.
- W1838755122 hasAuthorship W1838755122A5053323895 @default.
- W1838755122 hasAuthorship W1838755122A5068070739 @default.
- W1838755122 hasConcept C119599485 @default.
- W1838755122 hasConcept C121332964 @default.
- W1838755122 hasConcept C124101348 @default.
- W1838755122 hasConcept C127413603 @default.
- W1838755122 hasConcept C132525143 @default.
- W1838755122 hasConcept C13280743 @default.
- W1838755122 hasConcept C134146338 @default.
- W1838755122 hasConcept C160191386 @default.
- W1838755122 hasConcept C17626397 @default.
- W1838755122 hasConcept C176809094 @default.
- W1838755122 hasConcept C177264268 @default.
- W1838755122 hasConcept C199360897 @default.
- W1838755122 hasConcept C205649164 @default.
- W1838755122 hasConcept C27458966 @default.
- W1838755122 hasConcept C2777904410 @default.
- W1838755122 hasConcept C2779662365 @default.
- W1838755122 hasConcept C41008148 @default.
- W1838755122 hasConcept C53942775 @default.
- W1838755122 hasConcept C62520636 @default.
- W1838755122 hasConcept C80444323 @default.
- W1838755122 hasConceptScore W1838755122C119599485 @default.
- W1838755122 hasConceptScore W1838755122C121332964 @default.
- W1838755122 hasConceptScore W1838755122C124101348 @default.
- W1838755122 hasConceptScore W1838755122C127413603 @default.
- W1838755122 hasConceptScore W1838755122C132525143 @default.
- W1838755122 hasConceptScore W1838755122C13280743 @default.
- W1838755122 hasConceptScore W1838755122C134146338 @default.
- W1838755122 hasConceptScore W1838755122C160191386 @default.
- W1838755122 hasConceptScore W1838755122C17626397 @default.
- W1838755122 hasConceptScore W1838755122C176809094 @default.
- W1838755122 hasConceptScore W1838755122C177264268 @default.
- W1838755122 hasConceptScore W1838755122C199360897 @default.
- W1838755122 hasConceptScore W1838755122C205649164 @default.
- W1838755122 hasConceptScore W1838755122C27458966 @default.
- W1838755122 hasConceptScore W1838755122C2777904410 @default.
- W1838755122 hasConceptScore W1838755122C2779662365 @default.
- W1838755122 hasConceptScore W1838755122C41008148 @default.
- W1838755122 hasConceptScore W1838755122C53942775 @default.
- W1838755122 hasConceptScore W1838755122C62520636 @default.
- W1838755122 hasConceptScore W1838755122C80444323 @default.
- W1838755122 hasLocation W18387551221 @default.
- W1838755122 hasOpenAccess W1838755122 @default.
- W1838755122 hasPrimaryLocation W18387551221 @default.
- W1838755122 hasRelatedWork W1544420370 @default.
- W1838755122 hasRelatedWork W1567413682 @default.
- W1838755122 hasRelatedWork W1599664617 @default.
- W1838755122 hasRelatedWork W1768820276 @default.
- W1838755122 hasRelatedWork W1930048348 @default.
- W1838755122 hasRelatedWork W1946197349 @default.
- W1838755122 hasRelatedWork W1978533075 @default.
- W1838755122 hasRelatedWork W1992864170 @default.
- W1838755122 hasRelatedWork W2057433396 @default.
- W1838755122 hasRelatedWork W2100200969 @default.
- W1838755122 hasRelatedWork W2105201058 @default.
- W1838755122 hasRelatedWork W2107662458 @default.
- W1838755122 hasRelatedWork W2115346480 @default.
- W1838755122 hasRelatedWork W2120231722 @default.
- W1838755122 hasRelatedWork W2124618076 @default.
- W1838755122 hasRelatedWork W2133847628 @default.
- W1838755122 hasRelatedWork W2157436839 @default.
- W1838755122 hasRelatedWork W2165392277 @default.
- W1838755122 hasRelatedWork W2179296782 @default.
- W1838755122 hasRelatedWork W2535245920 @default.
- W1838755122 isParatext "false" @default.
- W1838755122 isRetracted "false" @default.
- W1838755122 magId "1838755122" @default.
- W1838755122 workType "article" @default.