SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
Full Title: | SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) |
---|---|
ISBN: | 0071457445 |
ISBN13: | 9780071457446 |
List Price: | USD $72.95 |
Authors: |
Ganai, Malay Gupta, Aarti |