FM8501: A Verified Microprocessor
(4.9/5) - 388 ratings
6,377 people have downloaded this book for free
The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using...