Changes between Version 5 and Version 6 of CaoCourseTme7

Timestamp:

Mar 22, 2007, 12:41:30 PM (18 years ago)

Author:

alain

Comment:

--

CaoCourseTme7

@@ -54 +54 @@
  * structure représentant le réseau Booléen, c'est à dire le graphe biparti des processus et des signaux, 
  * structure représentant l'échéancier, c'est à dire l'ensemble ordonné des événements.
- 
-== A1) Le réseau Booléen ==
 
 Le réseau Booléen est constitué d'un ensemble de signaux et d'un ensemble de processus. 
@@ -104 +102 @@
 }}}
 
-== A2) L’échéancier ==
-
 L'échéancier permet d'enregistrer  et d'ordonner les événements dans le temps. 
 Ceux-ci sont donc rangés dans une liste doublement chaînée, par dates croissantes. 
@@ -139 +135 @@
  Dans un deuxième temps, il vous sera demandé d’écrire vous-même le code de ces fonctions.
 
-== B1) construction réseau Booléen ==
+'''B1) construction réseau Booléen'''
 
 {{{
@@ -161 +157 @@
 et qu'un signal de type OUT ne peut apparaître dans le support d'une fonction.
 
-== B2) construction échéancier ==
+'''B2) construction échéancier'''
 {{{ 
 scheduler_t * cons_scheduler()
@@ -176 +172 @@
 les événements portant sur les signaux d’entrée du circuit (stimuli).
 
-== B3) simulation ==
+'''B3) simulation'''
 {{{
 void add_event (scheduler_t * sch, signal_t sig, long delta, unsigned val)
@@ -233 +229 @@
 Ecrire, compiler et exécuter le programme main() qui construit le réseau Booléen. 
 Pour vérifier la structure du réseau Booléen, on pourra utiliser 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 }
+}}}
 
 = D) Construction et initialisation de l’échéancier =
 
-Complêter le programme main() de la question D1 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 suivant . On utilisera les fonctions cons-scheduler() et add_event(). Attention : le passage de la valeur U (indéfinie) à une valeur 0 ou 1 constitue un événement : Dans ce chronogramme, il y a donc un événement sur tous les signaux d’entrée au temps T = 0.
+Complêter le programme main() de la question C) 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 
+constitue un événement : Dans ce chronogramme, il y a donc un événement sur tous les signaux d’entrée au temps T = 0.
 
 
 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 que vous connaissez déjà.
-
-
+}}}
+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 =