Title :
A Comparison of Heterogeneous Multi-valued Decision Diagram Machines for Multiple-Output Logic Functions
Author :
Nakahara, Hiroki ; Sasao, Tsutomu ; Matsuura, Munehiro
Author_Institution :
Kyushu Inst. of Technol., Iizuka, Japan
Abstract :
A heterogeneous multi-valued decision diagram~(HMDD) may have nodes with different numbers of variables. By partitioning the input variables into optimal disjoint sets, the HMDDs evaluate the function faster than BDDs with the same amount of memory. In this paper, we compare multi-output HMDD machines. First, we introduce three types of HMDDs: plural single-output HMDDs, Multi-Terminal HMDD, and HMDD for ECFN.Next, we show three HMDD machines~(HMDDMs). Then, we compare three HMDDMs with respect to the memory size, the execution time, and the area-time complexity. The comparison shows that, as for the area-time complexity, the HMDD for ECFN machine is the best.
Keywords :
circuit complexity; decision diagrams; multivalued logic circuits; ECFN machine; area time complexity; heterogeneous multivalued decision diagram machine; input variable partitioning; memory size; multioutput HMDD machine; multiple output logic function; multiterminal HMDD; optimal disjoint set; plural single output HMDD; Adders; Boolean functions; Data structures; Encoding; Radiation detectors; Shift registers;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on
Conference_Location :
Tuusula
Print_ISBN :
978-1-4577-0112-2
Electronic_ISBN :
0195-623X
DOI :
10.1109/ISMVL.2011.15
