Mise en oeuvre de l'operateur gamma a l'aide de circuits logiques reconfigurables

par MARC VIEILLOT

Thèse de doctorat en Sciences appliquées

Sous la direction de J.-P. BANATRE.

Soutenue en 1996

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Les circuits logiques reconfigurables allient les performances des circuits integres avec des possibilites de programmation. Ces circuits ont une structure interne (equations logiques et structure d'interconnexion) qui peut etre changee dynamiquement. Ils sont aujourd'hui utilises comme coprocesseur ou accelerateur. Ainsi, ces circuits ameliorent les performances d'une machine en permettant sa specialisation. Mais la programmation efficace des machines a base de circuits logiques reconfigurables est difficile par manque d'outils adaptes. Cette these presente les possibilites offertes par les circuits logiques reconfigurables ainsi que les besoins des programmeurs de ces nouvelles machines, a travers la mise en uvre du formalisme gamma. Le formalisme gamma est fonde sur la metaphore de la reaction chimique: sa structure de donnees, le multi-ensemble (ensemble pouvant contenir plusieurs occurences d'une meme valeur), est transformee par consommation et production d'elements. Un programme gamma est un ensemble de regles de transformation composees sequentiellement et/ou parallelement. La mise en uvre du formalisme gamma a l'aide de circuits logiques reconfigurables est confrontee a des problemes generaux: les ressources d'un circuit sont limitees, la repartition d'une architecture dans differents circuits est complexe et les outils de developpement de bas niveau rendent difficile la description de l'architecture souhaitee. De plus le calcul de la configuration d'un circuit prend du temps et les outils automatiques ne trouvent pas toujours de solution, meme si elle existe. Le partage des ressources et l'utilisation des proprietes des elements de l'architecture mise en uvre permettent une meilleure exploitation des ressources d'un circuit. Le pre-placement de l'architecture accelere et aide le calcul de la configuration. L'amelioration des outils de developpement implique une description de haut niveau de l'architecture souhaitee et l'automatisation de differentes taches telles que la detection du partage de ressource et le pre-placement


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 155 P.
  • Annexes : 50 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1996/30
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.