Conception pleinement asynchrone : methodologie et application a la realisation d'un processeur de communication pour machine parallele

Self-timed asynchronous design : methodology and application to the communication processor building for a parallel machine

• Auteur / Autrice : ERIC SENN
• Direction : Bertrand Zavidovique
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1998
• Etablissement(s) : Paris 11

Résumé

Dans cette these, nous nous proposons d'etudier la realisation d'un processeur de communication pleinement asynchrone pour une machine parallele. L'architecture originale de la machine est presentee. Son caractere intrinsequement asynchrone nait de son fonctionnement et de son modele de programmation. La synchronisation de son reseau d'interconnexion implique le choix d'un mode de controle. Les modes de controle synchrone et asynchrone sont compares. Ce dernier presente divers interets. Il satisfait notamment les contraintes physiques emergeant de la construction de la machine, en supportant naturellement l'asynchronisme de son fonctionnement. Le controle pleinement asynchrone est prefere pour ses performances et fiabilite. Apres un etat de l'art des techniques de conception asynchrone, nous proposons un formalisme original permettant d'evaluer objectivement leur rapport qualite sur cout, et de les comparer. Nous developpons une methodologie basee sur une ecriture de haut niveau du type processus communiquants, puis une traduction en graphes de transitions puis en graphe d'etats. Nous introduisons un ensemble de concepts et de proprietes originaux pour garantir la fiabilite des implantations. Celles-ci utilisent plusieurs cellules particulieres que nous devons construire. Le dessin original de ces cellules personnalisees, pour leur implantation micro-electronique, est presente. Notre methode est ainsi appliquee a la specification de notre routeur et a son implantation. Le circuit, de retour de fabrication, est teste, et ses performances mesurees. Les performances globales de la machine sont extrapolees de ces resultats.