 |
|
|
|
| Detailed view | PhD thesis |
|
|
| Université Paul Sabatier - Toulouse III (1977-06-21), Michel DIAZ (Dir.) |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| Sur la description et la vérification de processeurs microprogrammables |
|
|
| Alberto Ruiz De Olano Y Ruiz De Larrea1 |
|
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| 1: | LAAS - Laboratoire d'analyse et d'architecture des systèmes |
|
|
|
|
|
|
|
| MICROPROGRAMMATION – PROCESSEUR – MICROORDINATEUR – SIMULATION – VERIFICATION PROGRAMME – PROGRAMMATION |
| Indisponible |
| tel-00178412, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00178412 | |
| oai:tel.archives-ouvertes.fr:tel-00178412 | |
| From: Anne Bergez | |
| Submitted on: Thursday, 11 October 2007 10:12:11 | |
| Updated on: Friday, 12 October 2007 09:21:46 | |
