Methodologie de conception d'architectures specialisees une etude de cas

par FERNANDO ROSA DO NASCIMENTO

Thèse de doctorat en Informatique

Sous la direction de Patrice Quinton.

Soutenue en 1993

à Rennes 1 .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (161 p.)
  • Annexes : 80 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : C-ROS
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1993/90
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : N 1. ROS.
  • Bibliothèque : Centre de recherche INRIA Sophia Antipolis - Méditerranée (Sophia ANtipolis). Service IST.
  • Disponible pour le PEB
  • Cote : TM85
  • Bibliothèque : Centre de recherche INRIA Rennes - Bretagne Atlantique. Service IST.
  • PEB soumis à condition
  • Cote : C.1 - ROS
  • Bibliothèque : Centre de recherche Inria Paris. IES.
  • Disponible pour le PEB
  • Cote : M1150
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : ROSA DO NASCIMNETO m
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.