Code generation and analysis for the functional verification of microprocessors
- 24 August 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Multiprocessor validation of the Pentium Pro microprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The SPLASH-2 programs: characterization and methodological considerationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- MPTG: a portable test generator for cache-coherent multiprocessorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Design verification of a super-scalar RISC processorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- AVPGEN-A test generator for architecture verificationIEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1995