DocumentCode :
3619266
Title :
Recent advances in verification, equivalence checking & SAT solvers
Author :
D. Pradhan
Volume :
2
fYear :
2003
fDate :
6/25/1905 12:00:00 AM
Firstpage :
377
Lastpage :
382
Keywords :
"Data structures","Boolean functions","Design automation","Automatic test pattern generation","World Wide Web","Algorithm design and analysis","Circuit simulation","Bibliographies","Testing","Circuit synthesis"
Publisher :
ieee
Conference_Titel :
Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003. The IEEE International Symposium on
Print_ISBN :
0-7803-7991-8
Type :
conf
DOI :
10.1109/TUTCAS.2003.1490929
Filename :
1490929
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3619266
