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