Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

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

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
  • Volumes horaires

    • CM : 15.0
    • TD : -
    • TP : 9.0
    • Projet : -
    • Stage : -
    • DS : -
    Crédits ECTS : 3.0
  • Responsables : Frederic PETROT

Objectifs

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.

Contenu

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ôles 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).

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

mise à jour le 15 janvier 2017

anglais
Grenoble INP - Ensimag
École nationale supérieure d'informatique et de mathématiques appliquées
681, rue de la passerelle - Domaine universitaire - BP 72
38402 SAINT MARTIN D'HERES
 
 
République Française         Groupe INP Logo de la Commission des titres d'ingénieur (CTI)
    Université Grenoble Alpes