Changes between Version 25 and Version 26 of CaoCourseTme7

Timestamp:

Apr 23, 2007, 1:41:53 PM (19 years ago)

Author:

alain

Comment:

--

CaoCourseTme7

@@ -48 +48 @@
 Créez un répertoire de travail TME7, et copiez dans ce répertoire tous les fichiers et répertoires qui se trouvent dans
 {{{
-/users/enseig/encadr/cao/tme7
+cp -rp /users/enseig/encadr/cao/tme7 .
 }}}
 
@@ -229 +229 @@
 si cette valeur change (en utilisant la fonction add_event).
 
-= C) Construction du réseau Booléen =
+= C) Travail à réaliser =
 
 On se propose de simuler le schéma suivant, qui réalise un additionneur 2 bits. 
@@ -236 +236 @@
 [[Image(schema_portes.png, nolink)]]
 
-Ecrire le programme main() qui construit en mémoire 
-le réseau Booléen correspondant au circuit-ci-dessus. 
+== C1) simulation du circuit ''etou'' ==
+
+Le fichier ''etou.c'' contient un tout petit réseau Booléen ne contenant que deux noeuds,
+et 4 signaux. Compilez ce fihier, et exécutez la simulation.
+{{{
+> make
+}}}
+Lancez l'exécution duprogramme (construction du réseau Booléen et simulation).
+{{{
+> ./etou
+}}}
+Vous pouvez visualiser le réseau Booléen avec la commande:
+{{{
+> xv etou.gif
+}}}
+Vous pouvez visualiser le chronogramme résulat de la simulation avec la commande:
+{{{
+> xpat -l etou
+}}}
+
+== C2) Construction réseau Booléen de l'additionneur 2 bits ==
+
+En vous inspirant du fichier ''etou.c'', écrivez le fichier ''adder.c'' qui construit en mémoire 
+le réseau Booléen correspondant au circuit additionneur 2 bits décrit ci-dessus. 
 On utilisera pour cela les fonctions cons_boolnet(), cons_process() et cons_signal().
 On prendra une valeur de 1 ns pour le temps de propagation de la porte NAND2, et de 2 ns pour la porte XOR2. 
-Pour vérifier la structure du réseau Booléen, on utilisera la fonction :
-{{{
-void drive_boolnet(dotfmt_t format, boolnet_t *bn)
-}}}
-Cette fonction construit une représentation graphique du réseau Booléen, et la sauvegarde dans un fichier au format .gif ou .ps.
-{{{
-enum dotfmt_t { GIF , PS }
-}}}
-Ecrivez le Makefile permettant de compiler ce programme main(), et exécutez-le. 
-
-= D) Construction et initialisation de l’échéancier =
-
-Complêter le programme main() de la question C) pour créer l’échéancier 
+Pour vérifier la structure du réseau Booléen, on utilisera la fonction ''drive_boolnet()''.
+Cette fonction construit une représentation graphique du réseau Booléen, et la sauvegarde dans un fichier 
+au format .gif ou .ps.
+
+Modifiez le Makefile permettant de compiler ce programme ''adder.c'', et exécutez-le. 
+
+== C3) Construction et initialisation de l’échéancier ==
+
+Complêter le fichier ''adder.c'' main() pour créer l’échéancier 
 et initialiser les événements sur les signaux d’ entrée a0, b0, c0, a1 et b1 de façon à respecter le chronogramme ci-dessous.
 On utilisera les fonctions cons-scheduler() et add_event(). Attention : le passage de la valeur U (indéfinie) à une valeur 0 ou 1 
@@ -259 +277 @@
 [[Image(chronogramme.png, nolink)]]
 
-Pour vérifier que l’échéancier est correctement initialisé, on pourra utiliser la fonction:
-{{{
-void drive_scheduler (boolnet_t * bn, scheduler_t * sch)
-}}}
-Cette fonction génére un fichier au format .pat que vous pouvez visualiser avec l’outil XPAT.
-
-= E) Ecriture de la boucle de simulation =
-
-Ecrire la boucle fonction principale de simulation qui enchaîne les phases “update” et “exécute” de l'algorithme de simulation ''event-driven'' présenté en cours. 
+Pour vérifier que l’échéancier est correctement initialisé, on pourra utiliser la fonction ''drive_scheduler ()''.
+Cette fonction peut être utilisée avant même l'exécution de la fonction de simulation, pour générer un fichier au format .pat 
+qui décrit le chronogramme des signaux d'entrée. Vous pouvez visualiser ce chronogramme avec l’outil XPAT.
+
+== C4) Simulation effective du circuit additionneur 
+
+Introduisez dans le fichier ''adder.c'' la fonction ''simulate()'' qui effectue la simulation du réseau Booléen, 
+jusqu'à ce qu'il n'y ait plus aucun événement à traiter dans l'échéancier. Compilez ce programme,
+et analysez le chronogramme résultant
+
+== C5) Ecriture de la boucle de simulation ==
+
+Ecrire en langage C la fonction ''simulate()''. Cette fonction contient une boucle ''while'' qui enchaîne les 
+deux phases “update” et “exécute” de l'algorithme de simulation ''event-driven'' présenté en cours. 
 {{{
 void simulate (boolnet_t * bn, scheduler_t * sch)
@@ -275 +298 @@
 de façon à visualiser le chronogramme avec l’outil XPAT.
 
-= F) Ecriture des fonctions d’accès =
+== C6) Ecriture des fonctions d’accès ==
 
 Bien que le texte de cette question soit très court, cette question est  évidemment la plus importante du TME :