Show simple item record

dc.contributor.authorSasao, Tsutomu
dc.contributor.authorIguchi, Yukihiro
dc.contributor.authorMatsuura, Munehiro
dc.contributor.authorButler, Jon T.
dc.dateDecember 2002
dc.date.accessioned2013-09-03T22:33:00Z
dc.date.available2013-09-03T22:33:00Z
dc.date.issued2002-12
dc.identifier.citationM. 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.
dc.identifier.urihttp://hdl.handle.net/10945/35829
dc.descriptionIEICE Transactions on Fundamentals of Electronics, Vol.E85-A, No.12, Dec. 2002, pp.2693-2700.en_US
dc.descriptionThis 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.en_US
dc.description.abstractA 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.en_US
dc.titleBi-partition of shared binary decision diagramsen_US
dc.typeArticleen_US
dc.contributor.departmentDepartment of Electrical and Computer Engineering
dc.subject.authorshared binary decision diagramen_US
dc.subject.authorSBDDen_US
dc.subject.authorbi-partitionen_US
dc.subject.authormultiple-output functionen_US
dc.subject.authordecompositionen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record