Malay Ganai, Aarti Gupta SAT-Based Scalable Formal Verification Solutions - 2007 ISBN: 978-0-387-69167-1 Subjects--Topical Terms: Circuits and SystemsElectrical Engineering Computer-Aided Engineering (CAD, CAE) and DesignComputer Science