Title :
The logic automation approach to accurate and efficient gate and functional level simulation
Author :
Heydemann, M. ; Dure, D.
Author_Institution :
European Silicon Structures, Sevres, France
Abstract :
Applying a mathematical formalism to event-driven simulation has led to model correctness and highly efficient implementation. MSI functional models with accurate delays are compiled into transition tables for elementary state machines that are interconnected to model networks. Simulation consists of computing the state trajectories of these machines using the generated state transition tables. A simulation speed of 50000 event/seconds per MIPS has been obtained during runtime experiments on a simulation system based on these techniques. This order-of-magnitude speedup is due in part to the use of a novel delay model that improves on the usual inertial rise/fall model.<>
Keywords :
logic CAD; 50000 MIPS; MSI functional models; efficient implementation; elementary state machines; event-driven simulation; functional level simulation; gate level simulation; inertial rise/fall model; logic automation approach; mathematical formalism; model correctness; model networks; novel delay model; order-of-magnitude speedup; runtime experiments; simulation speed; simulation system; state trajectories; transition tables; Automata; Automation; Circuit simulation; Computational modeling; Delay; Discrete event simulation; Lenses; Logic; Mathematical model; Timing;
Conference_Titel :
Computer-Aided Design, 1988. ICCAD-88. Digest of Technical Papers., IEEE International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-0869-2
DOI :
10.1109/ICCAD.1988.122504
