Optimized coverage-directed random simulation

Abstract

Due to the growing complexity of modern digital systems, functional verification is still an important challenge. Current verification practice in industry and in academia includes simulation and formal techniques. While formal tools can handle small to medium size designs, only simulation-based tools can validate digital systems of almost infinite… (More)
DOI: 10.1109/HLDVT.2008.4695894

Topics

10 Figures and Tables

Cite this paper

@article{Ugarte2008OptimizedCR, title={Optimized coverage-directed random simulation}, author={I{\~n}igo Ugarte and Pablo Sanchez}, journal={2008 IEEE International High Level Design Validation and Test Workshop}, year={2008}, pages={145-152} }