Validation coverage analysis for complex digital designs
- 24 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Protocol verification as a hardware design aidPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The Stanford FLASH multiprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automatic extraction of the control flow machine and application to evaluating coverage of verification vectorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Architecture validation for processorsPublished by Association for Computing Machinery (ACM) ,1995