Sat-Based Scalable Formal Verification Solutions by Malay Ganai & Aarti Gupta