Binary decision diagrams in theory and practice

被引：15

作者：

Drechsler R. ^{[1
]}

Sieling D. ^{[2
]}

机构：

[1] Corporate Technology, Siemens

[2] FB Informatik, LS 2, University of Dortmund

来源：

International Journal on Software Tools for Technology Transfer | 2001年 / 3卷 / 02期

关键词：

Binary decision diagram; Boolean function; Branching program; Data structure; VLSI CAD;

D O I：

10.1007/s100090100056

中图分类号：

学科分类号：

摘要：

Decision diagrams (DDs) are the state-of-the-art data structure in VLSI CAD and have been successfully applied in many other fields. DDs are widely used and are also integrated in commercial tools. This special section comprises six contributed articles on various aspects of the theory and application of DDs. As preparation for these contributions, the present article reviews the basic definitions of binary decision diagrams (BDDs). We provide a brief overview and study theoretical and practical aspects. Basic properties of BDDs are discussed and manipulation algorithms are described. Extensions of BDDs are investigated and by this we give a deeper insight into the basic data structure. Finally we outline several applications of BDDs and their extensions and suggest a number of articles and books for those who wish to pursue the topic in more depth. © 2001 Springer-Verlag.

引用

页码：112 / 136

页数：24

共 50 条

[31] FUNCTIONAL TESTING WITH BINARY DECISION DIAGRAMS.
Akers, Sheldon B.
1978, 2 (04): : 311 - 331
[32] Extended resolution simulates binary decision diagrams
Peltier, Nicolas
DISCRETE APPLIED MATHEMATICS, 2008, 156 (06) : 825 - 837
[33] Binary decision diagrams as a HOL derived rule
Harrison, John, 1600, Oxford Univ Press, Oxford, United Kingdom (38):
[34] Outlier detection using binary decision diagrams
Kutsuna, Takuro
Yamamoto, Akihiro
DATA MINING AND KNOWLEDGE DISCOVERY, 2017, 31 (02) : 548 - 572
[35] Implicit representation and manipulation of binary decision diagrams
Yamauchi, H
Ishiura, N
Takahashi, H
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (03) : 354 - 362
[36] Data compression via binary decision diagrams
Kieffer, J
Flajolet, P
Yang, EH
2000 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, PROCEEDINGS, 2000, : 296 - 296
[37] Free binary decision diagrams for the computation of EARn
Kára, J
Král, D
COMPUTATIONAL COMPLEXITY, 2006, 15 (01) : 40 - 61
[38] A new approach for minimization of binary decision diagrams
Lin, SS
Wei, CJ
CANADIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING-REVUE CANADIENNE DE GENIE ELECTRIQUE ET INFORMATIQUE, 2005, 30 (04): : 207 - 214
[39] On the Minimization of (Complete) Ordered Binary Decision Diagrams
Bollig, Beate
THEORY OF COMPUTING SYSTEMS, 2016, 59 (03) : 532 - 559
[40] Reliability analysis based on binary decision diagrams
Zhou, Jinglun
Sun, Quan
Journal of Quality in Maintenance Engineering, 1998, 4 (02): : 150 - 161

← 1 2 3 4 5 →