Methodologie de conception de microprocesseurs vlsi pour unite centrale de grands systemes : conception des parties de controle

par PIROUZ BAZARGAN SABET

Thèse de doctorat en Sciences appliquées

Sous la direction de Alain Greiner.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    Le projet de developpement d'un nouveau systeme dps7 a la direction des etudes de bull s'est concretise en 1990 par la realisation de la machine la plus puissante de cette gamme. Grace a une methode de conception rigoureuse, l'unite centrale de cette machine cisc composee de trois processeurs micro-programmes a rempli les objectifs ambitieux de performance et de delai de developpement. Ce document concerne la conception des parties de controle de ces processeurs. Nous y presentons les methodes de compaction de micro-programme qui ont permis d'integrer, a l'interieur des processeurs une partie importante du micro-programme. La possibilite d'introduction d'integrite qui accompagne cette methode, garantit une surete de fonctionnement indispensable aux systemes de ce niveau de perfectionnement. Une methode capable de tester entierement la partie de controle sans apport de vecteur de test externe est egalement exposee. Enfin, nous decrivons les mecanismes d'aide a la mise au point utilises en cas de decouverte d'erreurs tardives dans le micro-programme


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 16 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1990 392
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.