BDD representation for incompletely specified multiple-output logic functions and its applications to functional decomposition

Author

Sasao, Tsutomu ; Matsuura, Munehiro

Author_Institution

Dept. of Comput. Sci. & Electron., Kyushu Inst. of Technol., Iizuka, Japan

fYear

2005

fDate

13-17 June 2005

Firstpage

373

Lastpage

378

Abstract

A multiple-output function can be represented by a binary decision diagram for characteristic function (BDD_for_CF). This paper presents a new method to represent multiple-output incompletely specified functions using BDD_for_CF. An algorithm to reduce the widths of BDD_for_CFs is presented. This method is useful for decomposition of incompletely specified multiple-output functions. Experimental results for radix converters, adders and a multiplier show that this method is useful for the synthesis of LUT cascades. This data structure is also useful to three-valued logic simulation.

Keywords

binary decision diagrams; logic design; logic simulation; multivalued logic circuits; BDD_for_CF; adder; binary decision diagram; characteristic function; code converter; functional decomposition; incompletely specified multiple-output logic functions; look-up table; multiplier; radix converter; three-valued logic simulation; Algorithm design and analysis; Application software; Binary decision diagrams; Boolean functions; Computer science; Data structures; Logic design; Logic functions; Minimization; Permission;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 2005. Proceedings. 42nd

Print_ISBN

1-59593-058-2

Type

conf

DOI

10.1109/DAC.2005.193837

Filename

1510357