FM8501, a verified microprocessor /

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 a formal logic, the Boyer-Moore logic; this approach pe...

Full description

Bibliographic Details

Main Author:	Hunt, Warren A., 1958-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1994.
Series:	Lecture notes in computer science ; 795. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	FM8501 (Microprocessor) FM 8501. microprocesseur. FM8501 (Microprocesseur) Microprocessors. INTELIGÊNCIA ARTIFICIAL. Microprocesseurs. Mikroprozessor FM8501. Electronic books.
Online Access:	Connect to the full text of this electronic book