Cycle-based simulation with decision diagrams

Authors:
Raimund Ubar;Adam Morawiec;Jaan Raik
Affiliations:
Department of Computer Engineering, Tallinn Technical University, Estonia, Tallinn;Modelisation ey Verification des Systemes Digitaux, TIMA Laboratory, France;Department of Computer Engineering, Tallinn Technical University, Estonia, Tallinn
Venue:
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Year:
1999

Fast discrete function evaluation using decision diagrams

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Fast functional simulation using branching programs

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Hybrid techniques for fast functional simulation

DAC '98 Proceedings of the 35th annual Design Automation Conference
Test Synthesis with Alternative Graphs

IEEE Design & Test

Hi-index	0.00