Sur la description et la vérification de processeurs microprogrammables

Alberto Ruiz de Olano y Ruiz de Larrea (1)

1 LAAS - Laboratoire d'analyse et d'architecture des systèmes

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

Mots clés: MICROPROGRAMMATION; PROCESSEUR; MICROORDINATEUR; SIMULATION; VERIFICATION PROGRAMME; PROGRAMMATION

Domaines: Automatique / Robotique

Alberto Ruiz de Olano y Ruiz de Larrea. Sur la description et la vérification de processeurs microprogrammables. Automatique / Robotique. Université Paul Sabatier - Toulouse III, 1977. Français. ⟨NNT : ⟩. ⟨tel-00178412⟩