DocumentCode :
310916
Title :
Equivalence Checking Using Cuts And Heaps
Author :
Kuehlmann, Andreas ; Krohm, Florian
Author_Institution :
IBM Thomas J. Watson Research Center
fYear :
1997
fDate :
9-13 June 1997
Firstpage :
263
Lastpage :
268
Keywords :
Algorithm design and analysis; Automatic control; Automatic test pattern generation; Binary decision diagrams; Boolean functions; Circuits; Data structures; Design methodology; Encoding; Permission;
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.597155
Filename :
597155
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=310916
بازگشت