A transaction-based unified simulation/emulation architecture for functional verification

Proceedings - Design Automation Conference

Volumn , Issue , 2001, Pages 623-628

  Kudlugi, Murali ^a   Hassoun, Soha ^b   Selvidge, Charles ^a   Pryor, Duaine ^a  

^a IKOS Systems Inc   (United States)

^b TUFTS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SIMULATION; COMPUTER SOFTWARE PORTABILITY; HARDWARE;

EMULATION;

COMPUTER ARCHITECTURE;

EID: 0034853865     PISSN: 0738100X     EISSN: None     Source Type: Journal    
DOI: 10.1109/DAC.2001.156214     Document Type: Article

References (12)

1. A reconfigurable logic machine for fast event-driven simulation
2. Functional verification methodology of chameleon processor
3. Fast prototyping: A system design flow applied to a complex system-on-chip multiprocessor design
4. Functional verification of large ASICS
5. Hardware emulation for functional verification for K5
6. I'm done simulating: Now what? Verification coverage analysis and correctness checking of the DECchip21164 alpha microprocessor
7. Virtual chip: Making functional models work on real target systems
8. Functional verification methodology for the powerPC 604 microprocessor
9. Innovative verification strategy reduces design cycle time for high-end spare processor
10. Software development in a hardware simulation environment