DocumentCode :
2567908
Title :
Safe BDD Minimization Using Don´t Cares
Author :
Hong, Youpyo ; Beerel, Peter A. ; Burch, Jerry R. ; McMillan, Kenneth L.
Author_Institution :
Department of Electrical Engineering - Systems University of Southern California
fYear :
1997
fDate :
9-13 June 1997
Firstpage :
208
Lastpage :
213
Keywords :
Binary decision diagrams; Boolean functions; Data structures; Design automation; Distributed control; Laboratories; Logic testing; Minimization methods; Permission; Runtime;
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.597145
Filename :
597145
Link To Document :
بازگشت