Modélisation et stimulation rapide au niveau cycle pour l'exploration architecturale de systèmes intégrés sur puce

par Richard Buchmann

Thèse de doctorat en Informatique

Sous la direction de Alain Greiner.

Soutenue en 2006

à Paris 6 .


  • Résumé

    Cette thèse présente des principes et des outils pour faciliter le développement d'architectures matérielles et pour accélérer la simulation de modèles synchrones décrits en langage SystemC, précis au cycle et au bit près. Ce document est constitué de quatre chapitres : * La modélisation de composants matériels en SystemC sous la forme d'automates synchrones communicants (CFSM) ; * La génération de modèles SystemC, pour la simulation, à partir de descriptions synthétisables VHDL au niveau RTL ; * La vérification des règles d'écriture des modèles SystemC ; * La simulation rapide à l'aide d'une technique d'ordonnancement totalement statique. Ces outils permettent au concepteur de construire rapidement une architecture matérielle à l'aide de composants synthétisables au niveau RTL et de composants SystemC, respectant le modèle des CFSM. SystemCASS simule une telle architecture avec une accélération supérieure à un facteur 12 par rapport à un simulateur à échéancier dynamique.

  • Titre traduit

    Hardware modeling and fast cycle accurate simulation for architectural exploration of system on chips


  • Résumé

    System On Chip modeling is based on software speci_cation, hardware modeling, and software to hardware mapping. The system designer goal is to _nd the best mapping that matches speci_cations while optimizing performances, silicium area, and energy consumption. The same system designer is faced with architectural exploration issues due to the important number hardware/software parameters. Architectural exploration is time consuming, and any tool that can reduce or ease the development process is of paramount interest. This thesis presents principles and tools to facilitate hardware development and to speed up synchronous hardware simulation. The targeted simulation platform is based on SystemC language and relies on bit/cycle accurate models. Four chapters present : _ The use of communicating synchronous _nite state machines as an effective means to model hardware components and platform (CFSM) ; _ SystemC model generation from synthesizable VHDL description at RTL level ; _ Writing rules checking of SystemC models ; _ Fast simulation using entirely static scheduling. These tools allow the system designer to build an hardware architecture using synthesizable components at RTL level, and SystemC components, based on CFSM model. SystemCASS simulates such architecture 12 faster than a simulator using a dynamic scheduling.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. [142 p.]
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.en fin de volumes[p.131-132] paginée V-VI

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 2006 450
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.