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

International audienceThe 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 simulatioan 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-racing algorithms. Experiments are presented to show the simulation efficiency improvement offered by those algorithms