SAT-Based Scalable Formal Verification Solutions - Ganai, Malay ((Series on Integrated Circuits and Systems))