FM8501: A Verified Microprocessor

(4.9/5) - 388 ratings
Author: Warren A. Hunt Jr. (eds.)
Publisher: Springer-Verlag Berlin Heidelberg
Genre: Computers
Pages: 342
Language: english
Year: 1994
ISBN 10: 3540579605
ISBN 13: 9783540579601
Series: Lecture Notes in Computer Science 795 : Lecture Notes in Artificial Intelligence
Edition: 1
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...