| タイトル |
-
en
Techniques of BDD/ZDD : Brief History and Recent Activity
|
| 作成者 |
|
| アクセス権 |
open access |
| 権利情報 |
-
en
Copyright © 2013 The Institute of Electronics, Information and Communication Engineers
|
| 主題 |
-
Other
en
BDD
-
Other
en
ZDD
-
Other
en
decision diagram
-
Other
en
discrete structure
-
Other
en
algorithm
-
Other
en
data structure
-
NDC
007
|
| 内容注記 |
-
Abstract
en
Discrete structures are foundational material for computer science and mathematics, which are related to set theory, symbolic logic, inductive proof, graph theory, combinatorics, probability theory, etc. Many problems solved by computers can be decomposed into discrete structures using simple primitive algebraic operations. It is very important to represent discrete structures compactly and to execute efficiently tasks such as equivalency/validity checking, analysis of models, and optimization. Recently, BDDs (Binary Decision Diagrams) and ZDDs (Zero-suppressed BDDs) have attracted a great deal of attention, because they efficiently represent and manipulate large-scale combinational logic data, which are the basic discrete structures in various fields of application. Although a quarter of a century has passed since Bryant's first idea, there are still a lot of interesting and exciting research topics related to BDD and ZDD. BDD/ZDD is based on in-memory data processing techniques, and it enjoys the advantage of using random access memory. Recent commodity PCs are equipped with gigabytes of main memory, and we can now solve large-scale problems which used to be impossible due to memory shortage. Thus, especially since 2000, the scope of BDD/ZDD methods has increased. This survey paper describes the history of, and recent research activity pertaining to, techniques related to BDD and ZDD.
|
| 出版者 |
en
Institute of Electronics, Information and Communication Engineers
|
| 日付 |
|
| 言語 |
|
| 資源タイプ |
journal article |
| 出版タイプ |
VoR |
| 資源識別子 |
HDL
http://hdl.handle.net/2115/53121
|
| 関連 |
-
URI
http://search.ieice.org/
-
isIdenticalTo
DOI
https://doi.org/10.1587/transinf.E96.D.1419
|
| 収録誌情報 |
-
-
en
IEICE Transactions on Information and Systems
-
巻E96
号7
開始ページ1419
終了ページ1429
|
| ファイル |
|
| コンテンツ更新日時 |
2023-07-26 |
