DocumentCode :
2217428
Title :
Boolean satisfiability in electronic design automation
Author :
Marques-Silva, João P. ; Sakallah, Karem A.
Author_Institution :
Technical University of Lisbon
fYear :
2000
fDate :
2000
Firstpage :
675
Lastpage :
680
Keywords :
Application software; Circuit testing; Combinational circuits; Computer science; Design engineering; Electronic design automation and methodology; Informatics; Logic testing; Permission; Test pattern generators;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN :
1-58113-187-9
Type :
conf
DOI :
10.1109/DAC.2000.855400
Filename :
855400
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2217428
بازگشت