Virtual chip: Making functional models work on real target systems

Proceedings - Design Automation Conference

Volumn , Issue , 1998, Pages 170-173

  Kim, Namseung ^a   Choi, Hoon ^a   Lee, Seungjong ^a   Lee, Seungwang ^a   Park, In Cheol ^a   Kyung, Chong Min ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; DESIGN; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; MICROPROCESSOR CHIPS; VIRTUAL REALITY;

ARCHITECTURAL LEVELS; DESIGN COMPLEXITY; EARLY DESIGN STAGES; FUNCTIONAL CORRECTNESS; FUNCTIONAL DESIGN; FUNCTIONAL MODEL; FUNCTIONAL VERIFICATION; REAL APPLICATIONS;

APPLICATION PROGRAMS; INTEGRATED CIRCUIT LAYOUT;

REAL TARGET SYSTEMS; VIRTUAL CHIPS;

EID: 0031618675     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Lawrence Yang, David Gao, Jamshid Mostoufi, "System Design Methodology of UltraSPARC-I", Proc. 32th Design Automation Conference, Jun. 1995.
2. Val Popescu, Bill McNamara, "Innovative Verfication Strategy Reduces Design Cycle Time for High-End SPARC Processor", Proc. 33th Design Automation, Jun 1996.
3. Micahel Kantrowitz, Lisa M. Noack, I'm Done Simulating; Now What? Verification Coverage Analysis and Correctness Checking of the DEC chip 21164 Alpha microprocessor, Proc. 33th Design Automation Conference, Jun. 1996.
4. James Monaco, David Holloway, Rajesh Raina, "Functional Verification Methodology for the PowerPC 604 Microprocessor", Proc. 33th Design Automation Conference, Jun. 1996.
5. Gopi Ganapathy et al., "Hardware Emulation for Functional Verification of K5", Proc. 33th Design Automation Conference, Jun. 1996.
6. Joon-Seo Yim, Yoon-Ho Hwang et al., "A C - based RTL Design Verification Methodology for Complex Microprocessor", Proc. 34th Design Automation Conference, Jun. 1997.
7. "Pentium Processor User's Manual", Intel, 1993.
8. James Gateley et al. "UltraSPARC-I Emulation", Proc. 32th Design Automation Conference, Jun. 1995.
9. Francoise Casaubieilh et al. "Functional Verification Methodology of Chameleon Processor", Proc. 33th Design Automation Conference, Jun. 1996.