sur 17
SAT-Based Scalable Formal Verification Solutions — Malay Ganai, Aarti Gupta