Title :
Efficient simulation of oscillatory combinational loops
Author :
Fayyazi, Morteza ; Kirsch, Laurent
Author_Institution :
Mentor Graphics Corp., Waltham, MA, USA
Abstract :
This paper presents an efficient algorithm for post-synthesis logic simulation of digital circuits with oscillatory combinational loops. Oscillatory combinational loops can significantly degrade the performance of cycle accurate logic simulators. We provide an algorithm that first, dynamically detects oscillatory loops. Then, we introduce a novel approach to compute a multiple of their oscillation period which is used to optimize the efficiency of the simulation by reducing the number of time points that need to be evaluated. Finally, we provide the experimental results of our optimized algorithm measured on a cycle accurate simulator used in conjunction with a hardware emulator.
Keywords :
combinational circuits; integrated circuit design; logic design; cycle accurate logic simulators; digital circuits; hardware emulator; oscillatory combinational loops; post-synthesis logic simulation; Circuit simulation; Circuit synthesis; Combinational circuits; Computational modeling; Delay; Digital circuits; Graphics; Hardware; Logic circuits; Logic design; Emulation; functional verification; oscillatory combinational loops;
Conference_Titel :
Design Automation Conference (DAC), 2010 47th ACM/IEEE
Conference_Location :
Anaheim, CA
Print_ISBN :
978-1-4244-6677-1