"Formal Verification: For Digital Circuit Design" - читать интересную книгу автора (Douglas Perry, Harry Foster)