Simulation et synthèse de circuits s'appuyant sur le modèle synchrone

par Jean-Christophe Le Lann

Thèse de doctorat en Informatique

Sous la direction de Paul Le Guernic.

Soutenue en 2002

à Rennes 1 .


  • Résumé

    Les travaux présentés dans le cadre de cette thèse mettent en avant les possibilités offertes par l'approche synchrone (et le langage SIGNAL en particulier) dans la modélisation de circuits numériques, l'élaboration de simulateurs et la synthèse de matériel. L'affinité, peu remarquée jusqu'ici, entre langages synchrones et les simulateurs cycle ("cycle-based simulators") est soulignée. Afin de profiter au mieux des du calcul symbolique réalisé par le compilateur SIGNAL, et d'une génération de code C efficace, nous passons par une modélisation de circuits au niveau portes, qui se défait partiellement de la synchronisation classique des opérandes sur une horloge maîtresse. La même ambition vaut également pour le schéma de traduction VHDL que nous proposons. Concernant la synthèse automatique, deux méthodes sont exposées. La première repose sur une traduction des processus SIGNAL de base en circuits élémentaires qui, une fois assemblés, restituent la sémantique du programme initial. Il s'agit donc d'un schéma de traduction. La seconde méthode est une exploration d'un schéma de transformation : le graphe hiérarchisé aux dépendances conditionnées ou GHDC est une format très intéressant dans le cadre de la synthèse de haut-niveau ou synthèse comportementale. Nous poursuivons ici des travaux précédents en montrant que ce format interne peut être utilisé tout au long de la chaîne de compilation : allocation des registres du chemin de données, génération du contrôleur, mais également lors d'estimations de paramètres lors de l'exploration de l'espace de décision du concepteur.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 202 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : 148 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA Rennes 2002/78
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.