Functional verification methodology for microprocessors using the Genesys test-program generator. Application to the x86 microprocessors family
- 20 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Constraint satisfaction for test program generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Functional verification methodology of Chameleon processorPublished by Association for Computing Machinery (ACM) ,1996
- Hardware emulation for functional verification of K5Published by Association for Computing Machinery (ACM) ,1996
- Verification of electronic systemsPublished by Association for Computing Machinery (ACM) ,1996
- Functional verification methodology for the PowerPC 604 microprocessorPublished by Association for Computing Machinery (ACM) ,1996
- Test Program Generation for Functional Verification of PowePC Processors in IBMProceedings of the 39th conference on Design automation - DAC '02, 1995