1 |
Sur la description et la vérification de processeurs microprogrammablesRuiz De Olano Y Ruiz De Larrea, Alberto 21 June 1977 (has links) (PDF)
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
|
Page generated in 0.0224 seconds