"FM8501: A Verified Microprocessor (Lecture Notes in Computer Science)" - читать интересную книгу автора (Warren A. Jr. Hunt)