Ensimag Rubrique Formation 2022

Modélisation transactionnelle des systèmes sur puces - 5MMMTSP

  • Volumes horaires

    • CM 15.0
    • Projet -
    • TD -
    • Stage -
    • TP 9.0
    • DS -

    Crédits ECTS

    Crédits ECTS 3.0

Objectif(s)

La conception des systèmes numériques repose depuis fort longtemps sur l'utilisation d'outils de simulation pour d'une part déterminer les "bonnes" architectures, et d'autre part valider la fonction avant de lancer une réalisation matérielle qui est fort chère.

Pour faire face à la complexité du développement des systèmes-sur-puce modernes, l'industrie utilise des abstractions qu'on appelle les modèles transactionnels (TLM pour transaction-level modeling) pour simuler le comportement de SoCs complets. Ces modèles sont généralement écrits en SystemC, une bibliothèque C++ normalisée par l'IEEE.

Dans ce cours, les étudiants comprendront les principes de la modélisation transactionnelle en SystemC, les différents niveaux d'abstraction auxquels un modèle peut être écrit et les différentes façons d'intégrer du logiciel embarqué dans les plates-formes modélisées.

Responsable(s)

Frederic PETROT

Contenu(s)

Le cours démarre par une introduction générale sur les systèmes sur puces, puis enchaîne sur une introduction au C++, qui est un pré-requis pour la suite.

On présente ensuite la bibliothèque SystemC en se focalisant sur TLM-2, avec une approche technique (comment écrire et exécuter des programmes) et méthodologique (comment modéliser de manière fidèle et efficace un système sur puce, quelles sont les moyens d'intégrer du logiciel embarqué dans une plateforme SystemC/TLM, ...).

Le cours est illustré par trois sujet de travaux pratiques répartis en 6 séances sur machine.

Prérequis

  • Architecture des ordinateurs
  • Programmation orientée objet, une connaissance préalable de C++ est un plus, sans être indispensable
  • Programmation en langage C

Contrôle des connaissances

CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) : TP en libre service

SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : Écrit + TP
Salle spécifique : aucun besoin particulier
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : une feuille A4 recto-verso manuscrite.
Documents interdits (ex : livres, tous documents) : Tous à l'exception de la feuille recto-verso manuscrite. En particulier, tous documents imprimés sont interdits.
Matériel (ex : calculatrices):

  • matériel autorisé, préciser : Aucun
  • matériel interdit, préciser :
    Commentaires :

SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : oral
Salle spécifique : aucun besoin particulier
Durée : 1h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : feuille A4 manuscrite pendant la préparation. Brouillon seul autorisé pendant l'oral.
Documents interdits (ex : livres, tous documents) : Tous sauf la feuille A4 manuscrite.
Matériel (ex : calculatrices):

  • matériel autorisé, préciser : Aucun.
  • matériel interdit, préciser :
    Commentaires :

N1=(E1 + TP)/2
N2=(E2 + TP)/2

Calendrier

Le cours est programmé dans ces filières :

  • Cursus ingénieur - Filière SEOC - Semestre 9
cf. l'emploi du temps 2020/2021

Informations complémentaires

Code de l'enseignement : 5MMMTSP
Langue(s) d'enseignement : FR

Le cours est rattaché aux structures d'enseignement suivantes :

Vous pouvez retrouver ce cours dans la liste de tous les cours.

Bibliographie

1. Frank Ghenassia, Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems, 1st ed. (Springer, 2005).