DocumentCode :
2086964
Title :
Enhanced visibility and performance in functional verification by reconstruction
Author :
Marantz, Joshua
Author_Institution :
Ikos Syst. Inc., Waltham, MA, USA
fYear :
1998
fDate :
19-19 June 1998
Firstpage :
164
Lastpage :
169
Abstract :
Cycle simulators, in-circuit emulators, and hardware accelerators have made it possible to rapidly model the functionality of large digital designs. But these techniques provide limited visibility of internal design nodes, making debugging hard. Simulators run slowly when all nodes are traced. Emulators provide full visibility only with limited depth, or with greatly reduced speed. This paper discusses software techniques for increasing design visibility while reducing tracing overhead in simulation, and achieving 100% visibility in emulation without reducing speed or compromising depth.
Keywords :
circuit CAD; circuit analysis computing; circuit testing; formal verification; logic testing; design visibility; digital designs; emulation; functional verification; hardware accelerators; reconstruction; simulation; Analytical models; Context modeling; Debugging; Discrete event simulation; Emulation; Hardware; History; Licenses; Permission; Signal analysis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 1998. Proceedings
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-89791-964-5
Type :
conf
Filename :
724459
Link To Document :
بازگشت