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