Title :
Cycle-based simulation with decision diagrams
Author :
Ubar, Raimund ; Morawiec, Adam ; Raik, Jaan
Author_Institution :
Dept. of Comput. Eng., Tallin Tech. Univ., Estonia
Abstract :
This paper addresses the problem of efficient functional simulation of synchronous digital systems. A technique based on the use of decision diagrams (DD) for representing the functions of a design at RT and behavioural level is introduced. The DD evaluation technique is combined with cycle based simulation mechanism to achieve significant speed up of the simulation execution. Experimental results are provided for demonstrating the efficiency gain of this method in comparison to the event-driven simulation.
Keywords :
decision diagrams; functional analysis; hardware description languages; high level synthesis; logic simulation; RT level; behavioural level; cycle-based simulation; decision diagrams; efficiency gain; functional simulation; simulation execution; synchronous digital systems; Automation; Boolean functions; Circuit simulation; Computational modeling; Data structures; Discrete event simulation; Formal verification; High level synthesis; Laboratories; Rivers;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition 1999. Proceedings
Conference_Location :
Munich, Germany
Print_ISBN :
0-7695-0078-1
DOI :
10.1109/DATE.1999.761165