DocumentCode :
1905472
Title :
Emulation verification of the Motorola 68060
Author :
Kumar, Jainendra ; Strader, Noel ; Freeman, Jeff ; Miller, Michael
Author_Institution :
Adv. Design Technol., Motorola Inc., Austin, TX, USA
fYear :
1995
fDate :
2-4 Oct 1995
Firstpage :
150
Lastpage :
158
Abstract :
Large-scale hardware logic emulation using software configurable hardware provides a new means to significantly improve verification of complex integrated circuits such as today´s advanced microprocessors. The essence of hardware logic emulation is the provision of a hardware prototype of the circuit being designed. Such a hardware prototype can execute both pseudo-random verification vectors and software application programs up to six orders-of-magnitude faster than conventional software logic simulators. Trillions of verification vectors can be run on the emulation model for verification in only a few weeks compared to the prior best practice of running only billions of verification vectors in many months. Application of hardware logic emulation requires a sound design methodology with an HDL model (RTL or at least gate-level), an unlimited source of vectors or software applications intended to exercise the design in a target system
Keywords :
circuit analysis computing; digital simulation; formal verification; hardware description languages; logic CAD; microprocessor chips; reconfigurable architectures; HDL; Motorola 68060; RTL; circuit verification; configurable hardware; emulation verification; gate-level; hardware description language; hardware logic emulation; microprocessors; pseudo-random verification vectors; software application programs; Application software; Emulation; Hardware; Large scale integration; Logic circuits; Logic design; Microprocessors; Prototypes; Software prototyping; Virtual prototyping;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1995. ICCD '95. Proceedings., 1995 IEEE International Conference on
Conference_Location :
Austin, TX
ISSN :
1063-6404
Print_ISBN :
0-8186-7165-3
Type :
conf
DOI :
10.1109/ICCD.1995.528804
Filename :
528804
Link To Document :
بازگشت