Sur la description et la vérification de processeurs microprogrammables - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1977

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
Fichier principal
Vignette du fichier
1608.pdf (3.79 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-00178412 , version 1 (11-10-2007)

Identifiants

  • HAL Id : tel-00178412 , version 1

Citer

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⟩
100 Consultations
49 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More