Volumes horaires
- CM 18.0
- Projet 0
- TD 10.0
- Stage 0
- TP 20.0
Crédits ECTS
Crédits ECTS 4.0
Objectif(s)
Partie 1
Acquérir les concepts de base de la conception de circuits numériques :
- représentation de l'information,
- circuits combinatoires
- circuits séquentiels,
- machines à états,
- conception par séparation partie commande/partie opérative.
Partie 2
- Comprendre la nécessité de modélisation des systèmes matériels
- Concepts qui caractérisent un langage de description de matériel
- Sémantique de System Verilog pour la synthèse
Contenu(s)
- Partie 1*
- Représentation de l'information dans les machines numériques (entiers naturels/relatifs, réels, autres codages)
- Circuits combinatoires (algèbre de Boole, représentation et simplification des fonctions booléennes, circuits combinatoires fondamentaux : circuits d'aiguillage- mux, arithmétiques,... )
- Circuits séquentiels (architecture générale, composants de base et circuits fondamentaux : compteur, registre à décalage,...)
- Machine à états synchrone (formalisme, machine de Moore et Mealy, synthèse)
- Conception par séparation partie opérative/partie commande
- Mise en application en TP sur la conception d'un circuit et son implantation sur un FPGA
Partie 2
- Introduction et motivation de la modélisation des systèmes matériels
- Les niveaux d'abstraction en microélectronique numérique
- Langage System Verilog pour la modélisation matérielle
- Définition d'un sous-ensemble du langage System Verilog synthétisable
- Modélisation et synthèse de circuits combinatoires
- Modélisation et synthèse de machines à états
- Mise en oeuvre en BE
Prérequis
Aucun
Partie 1
- Examen écrit : 40% de la note
- CR de TP : 10% de la note, non rattrapable
Partie 2
- QCM
- Contrôle continu (CC)
- Compte rendu (CR) de TP
Au total 50 % de la note
Partie 1
1] Architectures Logicielles et Matérielles,P. Amblard and J.-C. Fernandez and F. Lagnier and F. Maraninchi and P. Sicard and Ph. Waille, Dunod, collection Sciences Sup.,2000.
[2] Electronique Numérique Intégrée, J.-. Danger and S.Guilley and P. Matherat and Y. Mathieu and L. Naviner and A. Polti and J. Provost , cours de l'ENST Paris
[3]Représentation et Synthèse des Systèmes Logiques, S.Pravossoudovitch, Ecole polytechnique Universitaire de Montpellier, 2006
[4] Bebop to the Boolean Boogie: An Unconventional Guide to Electronics Fundamentals, Components and Processes, C. Maxfield and P. Waddell, Butterworth-Heinemann, 2002