Author:
Zulehner Alwin,Wille Robert
Publisher
Springer International Publishing
Reference28 articles.
1. R. E. Bryant, Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677–691 (1986)
2. R. Drechsler, B. Becker, Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions. IEEE Trans. CAD Integr. Circuits Syst. 17(10), 965–973 (1998)
3. R. E. Bryant, Y.-A. Chen, Verification of arithmetic circuits with binary moment diagrams, in Design Automation Conference (IEEE, Piscataway, 1995), S. 535–541
4. S.-I. Minato, Zero-suppressed BDDs for set manipulation in combinational problems, in Design Automation Conference (1993), S. 272–277
5. S. Malik, A.R. Wang, R.K. Brayton, A. Sangiovanni-Vincentelli, Logic verification using binary decision diagrams in a logic synthesis environment, in International Conference on CAD (1988), S. 6–9