Thèse de doctorat en Informatique
Sous la direction de François Anceau.
Soutenue en 1985
à Grenoble INPG , en partenariat avec Institut d'informatique et mathématiques appliquées (Grenoble) (autre partenaire) .
Dans la méthode de conception sûre et descendante CAPRI applicable aux circuits intégrés VLSI, on analyse les spécifications initiales à la définition de l'architecture du circuit. La méthode proposée est une méthode par affinements successifs de spécifications dans laquelle on distingue: 1) le choix des algorithmes; 2) le choix du chemin de données associé aux blocs fonctionnels; 3) le choix de la structure de la partie contrôle. Application de la démarche descendante au microordinateur 80 C48 d'INTEL en technologie CMOS
Stepping conception applied to VLSI microprocessors
Pas de résumé disponible.