SAT-based scalable formal verification solutions /

SAT-based scalable formal verification solutions /

16

Bibliographic Details
Main Authors:	262924 Ganai, Malay, Gupta, Aarti
Format:
Language:	eng
Published:	New York, NY : Springer, 2007
Subjects:	Integrated circuits
Online Access:	http://dx.doi.org/10.1007/978-0-387-69167-1

Internet

http://dx.doi.org/10.1007/978-0-387-69167-1