Contribution à la conception et au prototypage de systèmes sur silicium : évaluation fonctionnelle

par Sébastien Raimbault

Thèse de doctorat en Électronique, optronique et systèmes

Sous la direction de Gaston Cambon.

Soutenue en 2000

à Montpellier 2 .


  • Résumé

    La complexite des systemes sur silicium (soc) impose de recourir a la reutilisation de circuits et a des techniques rapides de co-verification de systemes heterogenes puisque la couche logicielle prend une place preponderante dans ces systemes. Nous proposons une methodologie incrementale de conception/verification qui permet de construire un systeme en associant des modeles a differents niveaux de description : fonctionnel, virtuel (simulation par cycles), reel (prototypage). La localisation d'erreurs est ainsi facilitee et la conception peut etre distribuee sur plusieurs equipes. Le choix des curs de processeur pour une application etant un element crucial, une technique d'evaluation de performances d'un code c sur un p est proposee, dont la precision est d'environ 15% et jusqu'a un million de fois plus rapide qu'un iss. La simulation du systeme complet est de type chandy-misra, et permet d'evaluer les performances et le parallelisme mis en uvre en mesurant les phases d'attente. La rapidite de simulation autorise le developpement precoce du logiciel et la verification avec de longues sequences. La methodologie et les techniques proposees sont illustrees par l'exemple d'un decodeur mpeg2 video.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 150 p
  • Annexes : Bibliogr.: p. 132-141. - Liste des publications de l'auteur p. 143-145

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 2000.MON-208

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-2000-RAI
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.