DocumentCode
2567894
Title
Linear Sifting Of Decision Diagrams
Author
Meinel, Christoph ; Somenzi, Fabio ; Theobald, Thorsten
Author_Institution
FB IV - Informatik, Universitat Trier
fYear
1997
fDate
9-13 June 1997
Firstpage
202
Lastpage
207
Keywords
Boolean functions; Contracts; Data structures; Formal verification; Heuristic algorithms; Logic functions; Permission; Power engineering computing; Reachability analysis; Spectral analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1997. Proceedings of the 34th
Conference_Location
Anaheim, CA, USA
ISSN
0738-100X
Print_ISBN
0-7803-4093-0
Type
conf
DOI
10.1109/DAC.1997.597144
Filename
597144
Link To Document