Changes between Version 1 and Version 2 of 2010CaoTme5

Timestamp:

Apr 8, 2010, 11:40:49 PM (15 years ago)

Author:

jpc

Comment:

--

2010CaoTme5

@@ -124 +124 @@
            Signal*                addSignal    ( const std::string&, SignalType );
            Process*               addProcess   ( const std::string&, const std::string&, unsigned int delay );
+           void                   toDot        ( std::ostream& );
+           void                   toDot        ();
 };
 }}}
@@ -142 +144 @@
  * {{{addProcess()}}}  : ajoute une  nouvelle cible  à l'ensemble  des cibles.  Equivaut à
    créer un arc dans le graphe.
+ * {{{toDot()}}} :  crée une  représentation graphique du  réseau booléen.  Cette fonction
+   vous est fournie.
 
 {{{
@@ -197 +201 @@
     inline unsigned int  getDelay      ();
            void          display       ( std::ostream& );
+           std::string   toString      ();
 };
 }}}
@@ -211 +216 @@
    problèmes de causalité.
 
- * Un événement (classe {{{Event}}}), avec le  temps ({{{Time}}}) auquel il se produit, Le
-   ''signal'' qu'il affecte et la nouvelle valeur que va prendre ce signal.
+ * Un  événement  (classe {{{Event}}}),  comprtant  le  temps  ({{{Time}}}) auquel  il  se
+   produit, Le ''signal'' qu'il affecte et la nouvelle valeur que va prendre ce signal.
 
  * Une structure  lui permettant  de stocker  les ensembles d'évenements  par dates  et de
    trier  ces  ensembles par  date  (croissantes).  Nous  allons  pour  cela utiliser  une
    {{{map<>}}} de {{{vector<>}}}.  C'est à  dire, une {{{map<>}}} dont chaque élément sera
-   un {{{vector<>}}}  d'évènements et la clé  une date ({{{Time}}}. Notez  qu'au sein d'un
+   un {{{vector<>}}} d'évènements  et la clé une date ({{{Time}}}).  Notez qu'au sein d'un
    ensemble d'évènements synchrones l'ordre est indifférent.
 
@@ -247 +252 @@
 }}}
 
- * '''Ordre du parcours''': une propriété fondamentale est que lors d'un parcours de la
-   {{{map<>}}} avec des itérateurs, les éléments sont parcourus ''dans l'ordre défini
-   par la relation d'ordre de la clé'', c'est à dire dans notre cas, l'ordre chronologique
-   de {{{Time}}}.
-
- * Cet ordre est maintenu automatiquent lors d'ajout ou de retrait d'élements dans la
+ * '''Ordre du  parcours''': une propriété fondamentale  est que lors d'un  parcours de la
+   {{{map<>}}} avec des itérateurs, les  éléments sont parcourus ''dans l'ordre défini par
+   la relation d'ordre de la clé'', c'est  à dire dans notre cas, l'ordre chronologique de
+   {{{Time}}}.
+
+ * Cet ordre  est maintenu automatiquement lors  d'ajout ou de retrait  d'élements dans la
    {{{map<>}}}.
 
@@ -259 +264 @@
    l'itérateur pointe...).
 
- * Les éléments d'une {{{map<>}}} sont des paires {{{(clé,valeur)}}}, pour y accéder à
-   partir de l'itérateur, il faut utiliser les attributs public {{{first}}} (clé) et
+ * Les éléments  d'une {{{map<>}}}  sont des paires  {{{(clé,valeur)}}}, pour y  accéder à
+   partir  de l'itérateur,  il faut  utiliser les  attributs public  {{{first}}}  (clé) et
    {{{second}}} (valeur).
 
@@ -319 +324 @@
  * {{{simulate()}}} : effectue la simulation.
 
- * {{{drive()}}} : écrit dans le flot donné  en argument le résultat de la simulation dans
-   un format  lisible par  l'outil {{{xpat}}}.  La définition de  cette fonction  vous est
-   fournie.
+ * {{{toPatterns()}}} : écrit dans le flot  donné en argument le résultat de la simulation
+   dans un  format lisible par l'outil  {{{xpat}}}.  La définition de  cette fonction vous
+   est fournie.
 
  * {{{_reset()}}}  : remet  toutes les  variables  (entrées, sorties,  internes) à  l'état
@@ -336 +341 @@
     std::map<Time, std::vector<Event*> >  _events;
   public:
-           Scheduler ( BoolNet* );
-    Event* addEvent  ( const std::string& variable, ValueType, unsigned int time, unsigned int dc=0 );
-    Event* addEvent  ( Signal*, ValueType, unsigned int time, unsigned int dc=0 );
-    void   simulate  ();
-    void   drive     ( std::ostream& );
-  private:
-    void   _reset    ();
-    void   _header   ();
-    void   _display  ( const Time& );
+           Scheduler  ( BoolNet* );
+    Event* addEvent   ( const std::string& variable, ValueType, unsigned int time, unsigned int dc=0 );
+    Event* addEvent   ( Signal*, ValueType, unsigned int time, unsigned int dc=0 );
+    void   simulate   ();
+    void   toPatterns ( std::ostream& );
+    void   toPatterns ();
+  private:
+    void   _reset     ();
+    void   _header    ();
+    void   _display   ( const Time& );
 };
 }}}
@@ -351 +357 @@
 = C) Travail à réaliser =
 
-Dans un premier temps vous devrez utiliser le simulateur qui vous est fourni dans
+Dans  un premier  temps  vous  devrez utiliser  le  simulateur qui  vous  est fourni  dans
 l'ensemble des fichiers {{{.o}}}.
 
-Dans un second temps, il vous est demandé de progressivment remplacer les {{{.o}}}
-fournis par les vôtres.
-
-
-== C1) simulation du circuit ''etou'' ==
-
-Le fichier ''etou.c'' contient un tout petit réseau Booléen ne contenant que deux noeuds,
+Dans un second temps, il vous est demandé de progressivment remplacer les {{{.o}}} fournis
+par les vôtres.
+
+
+== C1) simulation du circuit ''And Or'' ==
+
+Le fichier ''AndOr.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.
 
 Vous pouvez visualiser le réseau Booléen avec la commande:
 {{{
-> eog etou.gif
+> eog AndOr.png
 }}}
 Vous pouvez visualiser le chronogramme résulat de la simulation avec la commande:
 {{{
-> xpat -l etou
+> xpat -l AndOr
 }}}
 
@@ -383 +389 @@
 == C2.1) Construction réseau Booléen de l'additionneur ==
 
-En vous inspirant du fichier  {{{etou.c}}}, écrivez le fichier {{{adder.c}}} qui construit
+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   {{{BoolNet::addProcess()}}}  et
@@ -392 +398 @@
 {{{.gif}}} ou {{{.ps}}}.
 
-Modifiez le Makefile permettant de compiler ce programme ''adder.c'', et exécutez-le. 
+Modifiez le Makefile permettant de compiler ce programme ''Adder.c'', et exécutez-le. 
 
 
 == C2.2) Construction et initialisation de l’échéancier ==
 
-Compléter le fichier {{{adder.c}}} {{{main()}}} pour créer l’échéancier et initialiser les
+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 la fonction  Scheduler::addEvent() et add_event().
@@ -404 +410 @@
 au temps {{{T = 0}}}.
 
-[[Image(chronogramme.png, nolink)]]
+[[Image(chronogramme.png,nolink)]]
 
 Pour vérifier que l’échéancier est correctement initialisé, on pourra utiliser la fonction
@@ -414 +420 @@
 == C2.3) Simulation effective du circuit additionneur ==
 
-Introduisez  dans  le fichier  {{{adder.c}}}  la  méthode {{{Scheduler::simulate()}}}  qui
+Introduisez  dans  le fichier  {{{Adder.c}}}  la  méthode {{{Scheduler::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