SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
Hardcover: 330 pages
Publisher: Springer (August 15, 2007)
Language: English
ISBN-10: 0387691669
未经允许不得转载：Wow! eBook » SAT-Based Scalable Formal Verification Solutions