SAT-based scalable formal verification solutions /

Bibliographic Details
Main Author:	Ganai, Malay
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gupta, Aarti, Dr
Format:	eBook
Language:	English
Published:	New York : Springer Science+Business Media, [2007]
Series:	Series on integrated circuits and systems.
Subjects:	Integrated circuits > Verification. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online