Matches in SemOpenAlex for { <https://semopenalex.org/work/W4245778812> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W4245778812 abstract "In this paper, we proposed an Automatic Target Constraint Generation (ATCG) technique to automatically generate compact and high-quality constraints for the guided random simulation environment. Our objective is to tackle the biggest bottleneck of the entire constrained random simulation process — the time-consuming and error-prone manual testbench composition process. By taking only the design under verification and simulation coverage as our inputs, our automatic constraint generation technique can successfully generate just a few key constraints while achieving very high simulation coverage. Our experimental results show that the proposed approach can outperform both directed and random simulations in both coverage and simulation runtime for a variety of designs" @default.
- W4245778812 created "2022-05-12" @default.
- W4245778812 creator A5037030191 @default.
- W4245778812 creator A5069922390 @default.
- W4245778812 date "2010-01-01" @default.
- W4245778812 modified "2023-09-27" @default.
- W4245778812 title "Automatic Constraint Generation for guided random simulation" @default.
- W4245778812 doi "https://doi.org/10.1109/aspdac.2010.5419814" @default.
- W4245778812 hasPublicationYear "2010" @default.
- W4245778812 type Work @default.
- W4245778812 citedByCount "0" @default.
- W4245778812 crossrefType "proceedings-article" @default.
- W4245778812 hasAuthorship W4245778812A5037030191 @default.
- W4245778812 hasAuthorship W4245778812A5069922390 @default.
- W4245778812 hasConcept C113775141 @default.
- W4245778812 hasConcept C11413529 @default.
- W4245778812 hasConcept C127413603 @default.
- W4245778812 hasConcept C149635348 @default.
- W4245778812 hasConcept C154945302 @default.
- W4245778812 hasConcept C199360897 @default.
- W4245778812 hasConcept C199622910 @default.
- W4245778812 hasConcept C26517878 @default.
- W4245778812 hasConcept C2776036281 @default.
- W4245778812 hasConcept C2780513914 @default.
- W4245778812 hasConcept C38652104 @default.
- W4245778812 hasConcept C41008148 @default.
- W4245778812 hasConcept C49937458 @default.
- W4245778812 hasConcept C78519656 @default.
- W4245778812 hasConcept C98045186 @default.
- W4245778812 hasConceptScore W4245778812C113775141 @default.
- W4245778812 hasConceptScore W4245778812C11413529 @default.
- W4245778812 hasConceptScore W4245778812C127413603 @default.
- W4245778812 hasConceptScore W4245778812C149635348 @default.
- W4245778812 hasConceptScore W4245778812C154945302 @default.
- W4245778812 hasConceptScore W4245778812C199360897 @default.
- W4245778812 hasConceptScore W4245778812C199622910 @default.
- W4245778812 hasConceptScore W4245778812C26517878 @default.
- W4245778812 hasConceptScore W4245778812C2776036281 @default.
- W4245778812 hasConceptScore W4245778812C2780513914 @default.
- W4245778812 hasConceptScore W4245778812C38652104 @default.
- W4245778812 hasConceptScore W4245778812C41008148 @default.
- W4245778812 hasConceptScore W4245778812C49937458 @default.
- W4245778812 hasConceptScore W4245778812C78519656 @default.
- W4245778812 hasConceptScore W4245778812C98045186 @default.
- W4245778812 hasLocation W42457788121 @default.
- W4245778812 hasOpenAccess W4245778812 @default.
- W4245778812 hasPrimaryLocation W42457788121 @default.
- W4245778812 hasRelatedWork W2150299528 @default.
- W4245778812 hasRelatedWork W2354251581 @default.
- W4245778812 hasRelatedWork W2357325779 @default.
- W4245778812 hasRelatedWork W2357461155 @default.
- W4245778812 hasRelatedWork W2374412966 @default.
- W4245778812 hasRelatedWork W2384129116 @default.
- W4245778812 hasRelatedWork W2766721049 @default.
- W4245778812 hasRelatedWork W4245778812 @default.
- W4245778812 hasRelatedWork W4283075368 @default.
- W4245778812 hasRelatedWork W4285900220 @default.
- W4245778812 isParatext "false" @default.
- W4245778812 isRetracted "false" @default.
- W4245778812 workType "article" @default.