Raimund Ubar, Artur Jutman, Zebo Peng
Timing simulation of digital circuits with binary decision diagrams
DATE, 2001.
@inproceedings{DATE-2001-UbarJP, author = "Raimund Ubar and Artur Jutman and Zebo Peng", booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}", doi = "10.1145/367072.367324", isbn = "0-7695-0993-2", pages = "460--466", publisher = "{ACM}", title = "{Timing simulation of digital circuits with binary decision diagrams}", year = 2001, }