DocumentCode
452050
Title
Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs
Author
Minato, Shin-ichi
Author_Institution
NTT LSI Laboratories, Kanagawa Pref., Japan
fYear
1994
fDate
6-10 June 1994
Firstpage
420
Lastpage
424
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation, 1994. 31st Conference on
ISSN
0738-100X
Print_ISBN
0-89791-653-0
Type
conf
DOI
10.1109/DAC.1994.204138
Filename
1600411
Link To Document