FM8501: A verified microprocessor Warren A. Hunt Jr. [doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] Springer 1994 Note(s): CPU verification
