Title :
Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs
Author :
Minato, Shin-ichi
Author_Institution :
NTT LSI Laboratories, Kanagawa Pref., Japan
Abstract :
Many combinatorial problems in LSI design can be described with cube set expressions. We discuss unate cube set algebra based on zero-suppressed BDDs, a new type of BDDs adapted for cube set manipulation. We propose efficient algorithms for computing unate cube set operations including multiplication and division, followed by some practical applications of unate cube set calculation.
Keywords :
Algebra; Binary decision diagrams; Boolean functions; Data structures; Design automation; Distributed computing; Machinery; Permission;
Conference_Titel :
Design Automation, 1994. 31st Conference on
Print_ISBN :
0-89791-653-0
DOI :
10.1109/DAC.1994.204138
