SAT-based scalable formal verification solutions - Ganai, Malay (Series on integrated circuits and systems, 2007)