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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2578463
بازگشت