FM8501: A verified microprocessor

Warren A. Hunt Jr.
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Springer
1994
Note(s): CPU verification