Abstract FR:

Les progres de la technologie augmentent la complexite des circuits integres, rendant ainsi possible l'integration de systemes complets sur une seule puce. Une application de cette nouvelle technologie est la realisation de machines paralleles pour le traitement des images (systemes de visio-conferences, calculateurs et television haute definition). Ce sont des applications qu'aucun processeur sequentiel ne peut realiser en temps reel, et qui sont bien adaptees a des machines systoliques ou simd. Cependant, les outils et les methodologies actuellement utilisees pour concevoir des circuits integres ne peuvent pas etre directement transposes pour la conception d'architectures paralleles. Cette these explore les problemes methodologiques pour la conception des architectures paralleles vlsi, sur la base d'une etude de cas. Apres une description de l'etat courant des methodes de conception des architectures vlsi, on decrit une approche methodologique par atelier, et on s'interesse en detail a plusieurs problemes qui se posent: la conception d'architectures paralleles a partir de specifications de haut niveau, la simulation de telles architectures, et l'utilisation d'outils de synthese pour leur derivation automatique. Nous considerons l'exemple d'un algorithme d'estimation de mouvement par comparaison de blocs pour la compression d'image, et nous presentons plusieurs architectures paralleles pour cet algorithme. Ensuite, nous proposons une methodologie nouvelle pour decrire et simuler des architectures paralleles a partir d'une librairie de cellules definies avec le langage signal. Un modele signal est propose, selon les caracteristiques du type de l'horloge, du type des signaux, et du style de communication entre les cellules. On presente la conception de l'algorithme de comparaison de blocs avec cette methode. Enfin, on explore l'utilisation du langage alpha pour la derivation d'architectures paralleles. Alpha est un langage fonde sur les equations recurrentes qui peut etre utilise pour decrire une large classe d'algorithmes d'une facon mathematiquement coherente. Nous proposons des outils pour aider la conception et la synthese d'architectures regulieres: un analyseur statique et un outil pour visualiser les domaines des variables