"Formal Verification of Sequential Hardware: A Tutorial" - читать интересную книгу автора (McFarland M.C.)