"SAT-based scalable formal verification solutions" - читать интересную книгу автора (Malay Ganai, Aarti Gupta)