Title :
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
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;
Conference_Titel :
Design Automation Conference, 2005. Proceedings. 42nd
Print_ISBN :
1-59593-058-2
DOI :
10.1109/DAC.2005.193837
