Adam Morawiec, Raimund Ubar, Jaan Raik. Cycle-Based Simulation Algorithms for Digital Systems Using High-Level Decision Diagrams. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 743, IEEE Computer Society, 2000. [doi]
Abstract is missing.