Optimized coverage-directed random simulation


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


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} }