SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
by:
Malay Ganai ·
Aarti Gupta
Hardcover
details (
USA
).
ISBN: 978-0-387-69166-4
ISBN-10: 0-387-69166-9
Springer
· 2007
