The logic automation approach to accurate and efficient gate and functional level simulation

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.<>