Sur la description et la vérification de processeurs microprogrammables
Résumé
DEUX DESCRIPTIONS DE PROCESSEURS SONT UTILISEES: L'UNE BASEE SUR L'UTILISATION DU LANGAGE VDL/APL, L'AUTRE REPOSANT SUR LA NOTION D'ORGANIGRAMME. APPLICATION DE LA THEORIE DE LA SIMULATION ALGEBRIQUE ENTRE PROGRAMMES A LA VERIFICATION DE LA MICROPROGRAMMATION. DESCRIPTION D'UN MICROCALCULATEUR REEL MICROPROGRAMMABLE ET APPLICATION DE LA PROCEDURE DE VERIFICATION
Indisponible
Origine : Fichiers produits par l'(les) auteur(s)