"Formal verification of hardware correctness" - читать интересную книгу автора (Camurati P., Prinetto P.)