Conception de systèmes électroniques digitaux [ LELEC2620 ]
5.0 crédits ECTS
30.0 h + 30.0 h
2q
Langue
d'enseignement: |
Anglais
|
| Lieu de l'activité |
Louvain-la-Neuve
|
| Thèmes abordés |
Voir résumé
|
Acquis
d'apprentissage |
Ce cours introduit les fondements de l'étude des systèmes digitaux complexes et de l'architecture matérielle des ordinateurs.
A l'issue de ce cours, les étudiants seront capables de spécifier, de représenter de diverses manières et de synthétiser
- des systèmes combinatoires,
- des automates à états finis,
- des machines algorithmiques.
Ils seront à même de séquentialiser par des méthodes simples un schéma de cacul décrit par un graphe de précédence, de le matérialiser sous forme de machine algorithmique, et d'évaluer a priori le coût de cette machine (nombres de portes, délais, ...).
Il s'agit d'un cours de base. Les méthodes avancées de synthèse et d'optimisation font l'objet du cours ELEC2760 Synthèse et optimisation de circuits et systèmes logiques.
La contribution de cette UE au développement et à la maîtrise des
compétences et acquis du (des) programme(s) est accessible à la fin de
cette fiche, dans la partie « Programmes/formations proposant
cette unité d’enseignement (UE) ».
|
| Contenu |
Circuits combinatoires :
- algèbre de Boole
- portes logiques
- réseaux Booléens
- méthodes de conception des composants de type universel (multiplexeurs, mémoires mortes, registres, compteurs,...) ou spécialisés
- éléments de la théorie de la complexité (général et matérielle),
Circuits séquentiels
- bascule maître esclave, barrière temporelle
- automates à états finis
- représentation par graphes, tables d'états, programme
- description de codages d'états
Machines algorithmiques
- division en partie contrôle et partie opérative
- organisation temporelle
- matérialisation des parties opératives (ressources de mémorisation, connexion, calcul)
- matérialisation des parties contrôle (gabarits architecturaux, microprogrammation)
Schémas de calcul
- graphe de précédence
- ordonnancement
- estimation du coût (temps, ressources)
Une machine algorithmique est la matérialisation d'un système dont le comportement est décrit de manière abstraite par un algorithme; microprocesseurs, circuits digitaux de traitement de signal, contrôleurs industriels en sont des exemples.
Le cours présente des gabarits architecturaux et des méthodes de synthèse de systèmes simples.
L'accent est mis sur une formalisation rigoureuse et sur des méhodes systématiques, dont l'application est illustrée par des exemples.
Référence:
Daniel Gajski, Principles of Digital Design, Englewood Cliffs, NJ: Prentice Hall, 1995.
|
| Autres infos |
Méthodes d'enseignement et d'apprentissage :
Cours et exercices en salle. Ceux-ci peuvent être entremêlés.
Pré-requis :
Ce cours peut être abordé sans préalable. La plupart des étudiants ont cependant abordé l'algèbre de Boole en candidatures. Le comportement des composants de base au niveau électronique est étudié dans le cours d'électronique (ELEC2531).
Mode d'évaluation :
Examen écrit à livre ouvert
Support :
Voir http://www.icampus.ucl.ac.be/
Ce cours fait en partie référence à Daniel Gajski, Principles of Digital Design, Englewood Cliffs, NJ, Prentice Hall, 1995
|
Cycle et année
d'étude |
> Master [120] : ingénieur civil en informatique
> Master [120] : ingénieur civil en mathématiques appliquées
> Master [120] : ingénieur civil électricien
> Master [120] : ingénieur civil électromécanicien
|
Faculté ou entité
en charge |
> ELEC
|
<<< Page précédente
|
