Changes between Version 17 and Version 18 of CaoCourseTme7

Timestamp:

Mar 22, 2007, 6:09:25 PM (18 years ago)

Author:

alain

Comment:

--

CaoCourseTme7

@@ -26 +26 @@
 qu'un seul signal, qui est le signal d'horloge. 
 
-On s'intéresse dans ce TME au cas particulier des réseaux Booléens, où un processus correspond à une expression Booléenn 
+On s'intéresse dans ce TME au cas particulier des réseaux Booléens, où un processus correspond à une expression Booléenne 
 multi-niveaux, représentée par un arbre ABL. Dans ce cas particulier, un processus possède donc un seul signal de sortie, 
 et la liste de sensibilité contient tous les signaux d'entrée. Un réseau Booléen peut être représenté par un graphe biparti 
 comportant deux types de noeuds : des processus et des signaux. Les noeuds à la périphérie du réseau sont toujours des signaux. 
+
+[[Image(reseau_booleen.png, nolink)]]
+
 En d'autres termes, un processus a toujours au moins un signal entrant et un signal sortant.  Les signaux qui n'ont pas d'arrête 
 entrante sont les entrées primaires du réseau, les signaux qui n'ont pas d'arrête sortante sont les sorties primaires du réseau.  
@@ -228 +231 @@
 A chaque porte est associé un processus modélisé par un arbre ABL.
 
+[[Image(schema_portes.png, nolink)]]
 
 Utiliser les fonctions cons_boolnet(), cons_process() et cons_signal() pour construire en mémoire 
@@ -249 +253 @@
 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.
 
+[[Image(chronogramme.png, nolink)]]
 
 Pour vérifier que l’échéancier est correctement initialisé, on pourra utiliser la fonction: