The search functionality is under construction.

IEICE TRANSACTIONS on Fundamentals

Area-Time Complexities of Multi-Valued Decision Diagrams

Shinobu NAGAYAMA, Tsutomu SASAO, Yukihiro IGUCHI, Munehiro MATSUURA

  • Full Text Views

    0

  • Cite this

Summary :

This paper considers Quasi-Reduced ordered Multi-valued Decision Diagrams with k bits (QRMDD(k)s) to represent binary logic functions. Experimental results show relations between the values of k and the numbers of nodes, the memory sizes, the numbers of memory accesses, and area-time complexity for QRMDD(k). For many benchmark functions, the numbers of nodes and memory accesses for QRMDD(k)s are nearly equal to of the corresponding Quasi-Reduced ordered Binary Decision Diagrams (QRBDDs), and the memory sizes and the area-time complexities for QRMDD(k)s are minimum when k = 2 and k = 3-6, respectively.

Publication
IEICE TRANSACTIONS on Fundamentals Vol.E87-A No.5 pp.1020-1028
Publication Date
2004/05/01
Publicized
Online ISSN
DOI
Type of Manuscript
Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category

Authors

Keyword