Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079893838> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2079893838 abstract "Functional validation is widely acknowledged as a major challenge for System-on-Chip (SoC) designs. Directed tests are superior compared to random tests since a significantly less number of directed tests can achieve the same coverage goal. Existing test generation techniques have inherent limitations due to use of formal methods. First, these approaches expect formal specification and do not directly support Hardware Description Language (HDL) models. Most importantly, the complexity of real world designs usually exceeds the capacity of model checking tools. In this paper, we propose a scalable technique to enable directed test generation for HDL models by combining static analysis and simulation based validation. Unlike existing approaches that support a limited set of HDL features, our approach covers a wide variety of features including dynamic array references. We have compared our approach with existing hybrid as well as random test generation techniques using various fault models. Our experimental results demonstrate that our proposed technique is scalable, and enables directed test generation for large designs." @default.
- W2079893838 created "2016-06-24" @default.
- W2079893838 creator A5006818844 @default.
- W2079893838 creator A5048617761 @default.
- W2079893838 date "2014-01-01" @default.
- W2079893838 modified "2023-09-23" @default.
- W2079893838 title "Scalable Test Generation by Interleaving Concrete and Symbolic Execution" @default.
- W2079893838 cites W1970407306 @default.
- W2079893838 cites W2008970505 @default.
- W2079893838 cites W2136357775 @default.
- W2079893838 cites W2142342708 @default.
- W2079893838 cites W2153113546 @default.
- W2079893838 cites W4237492309 @default.
- W2079893838 doi "https://doi.org/10.1109/vlsid.2014.25" @default.
- W2079893838 hasPublicationYear "2014" @default.
- W2079893838 type Work @default.
- W2079893838 sameAs 2079893838 @default.
- W2079893838 citedByCount "17" @default.
- W2079893838 countsByYear W20798938382015 @default.
- W2079893838 countsByYear W20798938382016 @default.
- W2079893838 countsByYear W20798938382017 @default.
- W2079893838 countsByYear W20798938382018 @default.
- W2079893838 countsByYear W20798938382019 @default.
- W2079893838 countsByYear W20798938382021 @default.
- W2079893838 countsByYear W20798938382022 @default.
- W2079893838 crossrefType "proceedings-article" @default.
- W2079893838 hasAuthorship W2079893838A5006818844 @default.
- W2079893838 hasAuthorship W2079893838A5048617761 @default.
- W2079893838 hasConcept C111919701 @default.
- W2079893838 hasConcept C113775141 @default.
- W2079893838 hasConcept C119599485 @default.
- W2079893838 hasConcept C119857082 @default.
- W2079893838 hasConcept C127413603 @default.
- W2079893838 hasConcept C128942645 @default.
- W2079893838 hasConcept C134146338 @default.
- W2079893838 hasConcept C136197465 @default.
- W2079893838 hasConcept C152877465 @default.
- W2079893838 hasConcept C154945302 @default.
- W2079893838 hasConcept C17626397 @default.
- W2079893838 hasConcept C177264268 @default.
- W2079893838 hasConcept C199360897 @default.
- W2079893838 hasConcept C2777904410 @default.
- W2079893838 hasConcept C2779639559 @default.
- W2079893838 hasConcept C28034677 @default.
- W2079893838 hasConcept C41008148 @default.
- W2079893838 hasConcept C48044578 @default.
- W2079893838 hasConcept C77088390 @default.
- W2079893838 hasConceptScore W2079893838C111919701 @default.
- W2079893838 hasConceptScore W2079893838C113775141 @default.
- W2079893838 hasConceptScore W2079893838C119599485 @default.
- W2079893838 hasConceptScore W2079893838C119857082 @default.
- W2079893838 hasConceptScore W2079893838C127413603 @default.
- W2079893838 hasConceptScore W2079893838C128942645 @default.
- W2079893838 hasConceptScore W2079893838C134146338 @default.
- W2079893838 hasConceptScore W2079893838C136197465 @default.
- W2079893838 hasConceptScore W2079893838C152877465 @default.
- W2079893838 hasConceptScore W2079893838C154945302 @default.
- W2079893838 hasConceptScore W2079893838C17626397 @default.
- W2079893838 hasConceptScore W2079893838C177264268 @default.
- W2079893838 hasConceptScore W2079893838C199360897 @default.
- W2079893838 hasConceptScore W2079893838C2777904410 @default.
- W2079893838 hasConceptScore W2079893838C2779639559 @default.
- W2079893838 hasConceptScore W2079893838C28034677 @default.
- W2079893838 hasConceptScore W2079893838C41008148 @default.
- W2079893838 hasConceptScore W2079893838C48044578 @default.
- W2079893838 hasConceptScore W2079893838C77088390 @default.
- W2079893838 hasLocation W20798938381 @default.
- W2079893838 hasOpenAccess W2079893838 @default.
- W2079893838 hasPrimaryLocation W20798938381 @default.
- W2079893838 hasRelatedWork W140611399 @default.
- W2079893838 hasRelatedWork W1541187842 @default.
- W2079893838 hasRelatedWork W1937808449 @default.
- W2079893838 hasRelatedWork W19720440 @default.
- W2079893838 hasRelatedWork W2043941084 @default.
- W2079893838 hasRelatedWork W2079893838 @default.
- W2079893838 hasRelatedWork W2144577665 @default.
- W2079893838 hasRelatedWork W2171153670 @default.
- W2079893838 hasRelatedWork W2767681984 @default.
- W2079893838 hasRelatedWork W3136744003 @default.
- W2079893838 isParatext "false" @default.
- W2079893838 isRetracted "false" @default.
- W2079893838 magId "2079893838" @default.
- W2079893838 workType "article" @default.