Bi-partition of shared binary decision diagrams
Loading...
Authors
Sasao, Tsutomu
Iguchi, Yukihiro
Matsuura, Munehiro
Butler, Jon T.
Subjects
shared binary decision diagram
SBDD
bi-partition
multiple-output function
decomposition
SBDD
bi-partition
multiple-output function
decomposition
Advisors
Date of Issue
2002-12
Date
December 2002
Publisher
Language
Abstract
A shared binary decision diagram (SBDD) represents a multiple-output function, where nodes are shared among BDDs representing the various outputs. A partitioned SBDD consists of two or more SBDDs that share nodes. The separate SBDDs are optimized independently, often resulting in a reduction in the number of nodes over a single SBDD. We show a method for partitioning a single SBDD into two parts that reduces the node count. Amoung the benchmark functions tested, a node reduction of up to 23% is realized.
Type
Article
Description
IEICE Transactions on Fundamentals of Electronics, Vol.E85-A, No.12, Dec. 2002, pp.2693-2700.
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.
Series/Report No
Department
Department of Electrical and Computer Engineering
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
M. Matsuura, T. Sasao, J.T. Butler, and Y. Iguchi, "Bi-partition of shared binary decision diagrams," IEICE Transactions on Fundamentals of Electronics, Vol.E85-A, No.12, Dec. 2002, pp.2693-2700.