Matches in SemOpenAlex for { <https://semopenalex.org/work/W2165915311> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2165915311 abstract "Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design components where formal techniques do not scale. However, stimulating important aspects of a design to uncover bugs often requires the construction of complex constraints to guide stimulus generation. We propose Toggle, a stimulus generation engine, which features (1) an entropy-based coverage analysis to efficiently find portions of the design inadequately sensitized by simulation and (2) a novel strategy to automatically stimulate these portions through a specialized SAT algorithm that uses small randomized XOR constraints. As our experimental results demonstrate, Toggle requires minimal input from the verification engineer, and significantly improves the coverage qualities of the generated stimuli when compared to plain random simulation." @default.
- W2165915311 created "2016-06-24" @default.
- W2165915311 creator A5030335506 @default.
- W2165915311 creator A5065370018 @default.
- W2165915311 creator A5073198546 @default.
- W2165915311 date "2008-03-10" @default.
- W2165915311 modified "2023-10-16" @default.
- W2165915311 title "Random stimulus generation using entropy and XOR constraints" @default.
- W2165915311 cites W2078174680 @default.
- W2165915311 cites W2117787767 @default.
- W2165915311 cites W2098719293 @default.
- W2165915311 doi "https://doi.org/10.1145/1403375.1403538" @default.
- W2165915311 hasPublicationYear "2008" @default.
- W2165915311 type Work @default.
- W2165915311 sameAs 2165915311 @default.
- W2165915311 citedByCount "13" @default.
- W2165915311 countsByYear W21659153112012 @default.
- W2165915311 countsByYear W21659153112013 @default.
- W2165915311 countsByYear W21659153112014 @default.
- W2165915311 countsByYear W21659153112016 @default.
- W2165915311 countsByYear W21659153112017 @default.
- W2165915311 crossrefType "proceedings-article" @default.
- W2165915311 hasAuthorship W2165915311A5030335506 @default.
- W2165915311 hasAuthorship W2165915311A5065370018 @default.
- W2165915311 hasAuthorship W2165915311A5073198546 @default.
- W2165915311 hasBestOaLocation W21659153112 @default.
- W2165915311 hasConcept C106301342 @default.
- W2165915311 hasConcept C11413529 @default.
- W2165915311 hasConcept C121332964 @default.
- W2165915311 hasConcept C154945302 @default.
- W2165915311 hasConcept C33923547 @default.
- W2165915311 hasConcept C41008148 @default.
- W2165915311 hasConcept C62520636 @default.
- W2165915311 hasConceptScore W2165915311C106301342 @default.
- W2165915311 hasConceptScore W2165915311C11413529 @default.
- W2165915311 hasConceptScore W2165915311C121332964 @default.
- W2165915311 hasConceptScore W2165915311C154945302 @default.
- W2165915311 hasConceptScore W2165915311C33923547 @default.
- W2165915311 hasConceptScore W2165915311C41008148 @default.
- W2165915311 hasConceptScore W2165915311C62520636 @default.
- W2165915311 hasLocation W21659153111 @default.
- W2165915311 hasLocation W21659153112 @default.
- W2165915311 hasOpenAccess W2165915311 @default.
- W2165915311 hasPrimaryLocation W21659153111 @default.
- W2165915311 hasRelatedWork W1963273698 @default.
- W2165915311 hasRelatedWork W2333698505 @default.
- W2165915311 hasRelatedWork W2351491280 @default.
- W2165915311 hasRelatedWork W2371447506 @default.
- W2165915311 hasRelatedWork W2386767533 @default.
- W2165915311 hasRelatedWork W2512307513 @default.
- W2165915311 hasRelatedWork W2768905679 @default.
- W2165915311 hasRelatedWork W303980170 @default.
- W2165915311 hasRelatedWork W3099557286 @default.
- W2165915311 hasRelatedWork W3107474891 @default.
- W2165915311 isParatext "false" @default.
- W2165915311 isRetracted "false" @default.
- W2165915311 magId "2165915311" @default.
- W2165915311 workType "article" @default.