Synopsis
Fm8501 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. Full description
"synopsis" may belong to another edition of this title.
