Skip to Main content Skip to Navigation
Theses

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
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00178412
Contributor : Anne Bergez <>
Submitted on : Thursday, October 11, 2007 - 10:12:11 AM
Last modification on : Friday, January 10, 2020 - 9:08:09 PM
Long-term archiving on: : Monday, June 27, 2011 - 5:08:44 PM

File

1608.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-00178412, version 1

Citation

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. ⟨tel-00178412⟩

Share

Metrics

Record views

242

Files downloads

114