Implementation of a Multiple-Domain Decision Diagram Package-Reference-Cited by-同舟云学术

Implementation of a Multiple-Domain Decision Diagram Package

Published:1997 Issue: Volume: Page:185-202
ISSN:1868-4238
Container-title:Advances in Hardware Design and Verification
language:
Short-container-title:

Author:

Höreth Stefan

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35190-2_12

Reference18 articles.

1. L. Arditi. *BMDs can delay the use of theorem proving for verifying arithmetic assembly instructions. Formal Methods in Computer-Aided Design, pages 34–48, November 1996.

2. B. Becker and R. Drechsler. How many decomposition types do we need? European Design and Test Conference, pages 438–443, 1995.

3. B. Becker, R. Drechsler, and R. Enders. On the representational power of bit-level and word-level decision diagrams. Asian and South Pacific Design Automation Conference, 1997.

4. R. E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C(35): 677–691, August 1986.

5. R. E. Bryant and Y.-A. Chen. Verification of arithmethic functions with binary moment diagrams. Technical Report CMU-CS-94–160, Carnegie Mellon University, May 1994.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A uniform framework for weighted decision diagrams and its implementation;International Journal on Software Tools for Technology Transfer;2008-03-27

2. Minimization of Word-Level Decision Diagrams;Integration;2002-12

3. Verifying integrity of decision diagrams;Integration;2002-11

4. Machine Assisted Verification;Architecture Design and Validation Methods;2000

5. Sequential Equivalence Checking by Symbolic Simulation;Formal Methods in Computer-Aided Design;2000