Title :
Design verification based on hardware emulation
Author :
Nguyen, Hoang Nam ; Thill, Markus
Author_Institution :
HPDA-Open Design Center, Les Clayes-sous-Bois
Abstract :
The fast evolution of advanced integrated circuits which inevitably provides competitive products with improved functions and performance, has also forced the design verification process to become the bottleneck in today´s design methodologies. We describe in this paper our experiences with the use of hardware emulation to boost the verification process
Keywords :
application specific integrated circuits; circuit CAD; formal verification; logic CAD; ASIC design; advanced integrated circuits; design verification; development cycles; hardware emulation; Application specific integrated circuits; Automatic logic units; Design methodology; Emulation; Hardware; Logic design; Process design; Signal generators; Signal processing; Virtual prototyping;
Conference_Titel :
Rapid System Prototyping, 1996. Proceedings., Seventh IEEE International Workshop on
Conference_Location :
Thessaloniki
Print_ISBN :
0-8186-7603-5
DOI :
10.1109/IWRSP.1996.506718