
Tell your friends about this item:
Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition
Warren A. Hunt
Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition
Warren A. Hunt
The FM 8501 microprocessor was created to express user-level specifications and design implementations using a formal logic. The author of this monograph explains how its original implementation model, although inadequate for hardware design, inspired his own verification methodology.
342 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | May 20, 1994 |
ISBN13 | 9783540579601 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 342 |
Dimensions | 156 × 234 × 18 mm · 498 g |
Language | English |
See all of Warren A. Hunt ( e.g. Paperback Book )