Cycle-based simulation algorithms for digital systems using high-level decision diagrams

The paper addresses the problem of speeding up functional cycle-based simulation of digital systems. The system is represented as a network of interconnected decision diagrams (DD). Three new innovative simulation algorithms are introduced to implement the idea of simulation execution according to activities of the system variables: forward event-driven algorithm and two versions of back-tracing algorithms. Experiments are presented to show the simulation efficiency improvement offered by those algorithms