Multiprocessor system verification through behavioral modeling and simulation
- 19 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 396-402
- https://doi.org/10.1109/pccc.1995.472462
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- MPTG: a portable test generator for cache-coherent multiprocessorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A simulation-based approach to architectural verification of multiprocessor systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formal verification of sequential hardware: a tutorialIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
- A Survey of Hardware Accelerators Used in Computer-Aided DesignIEEE Design & Test of Computers, 1984
- The Yorktown Simulation Engine: IntroductionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982