Author:
Drechsler Rolf,Becker Bernd,Ruppertz Stefan
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. D.P. Appenzeller and A. Kuehlmann. Formal verification of a PowerPC microprocessor. In Int'l Conf. on Comp. Design, pages 79–84, 1995.
2. L. Arditi. *bmds can delay the use of theorem proving for verifying arithmetic assembly instructions. In FMCAD, 1996.
3. B. Becker, R. Drechsler, and R. Enders. On the computational power of bit-level and word-level decision diagrams. In ASP Design Automation Conf., 1997.
4. B. Becker, R. Drechsler, and M. Theobald. OKFDDs versus OBDDs and OFDDs. In ICALP, LNCS 944, pages 475–486, 1995.
5. K.S. Brace, R.L. Rudell, and R.E. Bryant. Efficient implementation of a BDD package. In Design Automation Conf., pages 40–45, 1990.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification based on Boolean Expression Diagrams;Electronic Notes in Theoretical Computer Science;2001-12
2. The Taming of the (X)OR;Computational Logic — CL 2000;2000