Title :
Enhanced visibility and performance in functional verification by reconstruction
Author_Institution :
Ikos Syst. Inc., Waltham, MA, USA
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;
Conference_Titel :
Design Automation Conference, 1998. Proceedings
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-89791-964-5