"SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)" - читать интересную книгу автора (Malay Ganai, Aarti Gupta)