Fm8501: a verified microprocessor
Auteur :
Hunt, Warren A.
Éditeur :
Hunt, Warren A.
ISBN :
9783540579601
Date de publication :
20 mai 1994
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
1100 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.