DocumentCode
2578463
Title
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits
Author
Cabodi, Gianpiero ; Camurati, Paolo ; Lavagno, Luciano ; Quer, Stefano
Author_Institution
politecnico di Torino
fYear
1997
fDate
9-13 June 1997
Firstpage
728
Lastpage
733
Keywords
Aerospace industry; Algorithm design and analysis; Automata; Binary decision diagrams; Counting circuits; Explosions; Iterative methods; Partitioning algorithms; Permission; State-space methods;
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.597241
Filename
597241
Link To Document