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