Gupta, Aarti: SAT-Based Scalable Formal Verification Solutions