Is compiled simulation really faster than interpreted simulation?

It is commonly assumed that compiled simulation will provide significant performance improvements over interpreted event-driven simulation. This paper demonstrates that for a new algorithm called the Inversion Algorithm that this assumption is not true. The Inversion Algorithm can be run in either compiled or interpreted mode with only a slight difference in performance. Experimental data confirms this, and also demonstrates that first simulation results can be obtained much faster using the interpreted form of the algorithm.

[1]  Peter M. Maurer.  The shadow algorithm: a scheduling technique for both compiled and interpreted simulation , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[2]  Craig Hansen,et al.  Hardware logic simulation by compilation , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..

[3]  M Chiang,et al.  LCC simulators speed development of synchronous hardware , 1986 .

[4]  Tom Blank,et al.  A Survey of Hardware Accelerators Used in Computer-Aided Design , 1984, IEEE Design & Test of Computers.

[5]  Peter M. Maurer.  The Florida Hardware Design Language , 1990, IEEE Proceedings on Southeastcon.

[6]  Peter M. Maurer.  Two new techniques for unit-delay compiled simulation , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[7]  P. Agrawal,et al.  MARS: A Multiprocessor-Based Programmable Accelerator , 1987, IEEE Design & Test of Computers.

[8]  Peter M. Maurer,et al.  Two new techniques for compiled multi-delay simulation , 1992, Proceedings IEEE Southeastcon '92.

[9]  R W Brander,et al.  Diagnosis and Reliable Design of Digital Systems , 1978 .

[10]  John J. Zasio,et al.  SSIM: A Software Levelized Compiled-Code Simulator , 1987, 24th ACM/IEEE Design Automation Conference.

[11]  Randal E. Bryant,et al.  COSMOS: a compiled simulator for MOS circuits , 1987, DAC '87.

[12]  Daniel Weise,et al.  Automatic generation of compiled simulations through program specialization , 1991, 28th ACM/IEEE Design Automation Conference.

[13]  M. Ray Mercer,et al.  Demand Driven Simulation: BACKSIM , 1987, 24th ACM/IEEE Design Automation Conference.

[14]  Yun Sik Lee,et al.  Two new techniques for compiled multi-delay logic simulation , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[15]  Andrew W. Appel.  Simulating digital circuits with one bit per wire , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[16]  Melvin A. Breuer,et al.  Diagnosis and Reliable Design of Digital Systems , 1977 .

[17]  Zhicheng Wang,et al.  LECSIM: a levelized event driven compiled logic simulation , 1991, DAC '90.

[18]  Steven P. Smith.  Demand-driven simulation , 1990 .

[19]  Peter M. Maurer.  The Inversion Algorithm for digital simulation , 1994, ICCAD '94.

[20]  Barry K. Rosen,et al.  HSS--A High-Speed Simulator , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[21]  Melvin A. Breuer,et al.  Digital systems testing and testable design , 1990 .