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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
