Changes between Version 13 and Version 14 of MethoCourseTp1

Timestamp:

Apr 7, 2007, 3:01:18 PM (17 years ago)

Author:

anonymous

Comment:

--

MethoCourseTp1

@@ -88 +88 @@
 
 Lorsque la description comportementale du composant ''addaccu'' compile sans erreurs, il faut écrire
-le fichier décrivant les stimuli qui vont être appliqués sur les entrées du circuit.
+le fichier décrivant les stimuli qui vont être appliqués sur les entrées du circuit. Ce fichier permet
+également de déclarer quels signaux on souhaite observer : les signaux observés peuvent être
+soit des sorties du circuits, soit des signaux internes.
 
 Le format du fichier de stimuli accepté par ''asimut'' est défini dans la page man du format .pat :
@@ -98 +100 @@
 de période 10 ns, et de rapport cyclique 50% (cela signifie que l'état bas et l'état haut ont des durées égales).
 
-Les valeurs de tous les signaux d'entrée doivent être définies depuis le temps initial t = 0ns.
+Vous trouverez ci-dessous un exemple de fichier ''stimuli.pat''
+{{{
+-- controled inputs :
 
-Vous utiliserez la construction ''spy'' pour définir les différents signaux que vous souhaitez
-observer: on peut demander au simulateur de tracer les signaux de sortie, mais également
-les signaux internes présents dans la description VHDL.
- 
-On commencera par un scénario simple comportant une dizaine de cycles.
+in       a (3 downto 0)                 X;;;
+in       b (3 downto 0)                 X;;;
+in       sel                            B;;;
+in       ck                             B;;;
+in       vdd                            B;;;
+in       vss                            B;;;
+
+-- observed outputs & internal signals :
+
+register addaccu.accu (3 downto 0)      X spy;;;
+out      s (3 downto 0)                 X spy;;;
+
+begin
+
+-- Pattern description :
+
+--               a  b  s  c  v  v  a  s
+--                     e  k  d  s  c
+--                     l     d  s  c
+--                                 u
+
+< 0  ns>       : 0  0  0  0  1  0 ?* ?* ;
+< +5 ns>       : 0  0  0  1  1  0 ?* ?* ;
+
+< +5 ns>       : 0  1  0  0  1  0 ?* ?* ;
+< +5 ns>       : 0  1  0  1  1  0 ?* ?* ;
+
+< +5 ns>       : 0  2  0  0  1  0 ?* ?* ;
+< +5 ns>       : 0  2  0  1  1  0 ?* ?* ;
+
+< +5 ns>       : 0  5  0  0  1  0 ?* ?* ;
+< +5 ns>       : 0  5  0  1  1  0 ?* ?* ;
+
+< +5 ns>       : 0  1  1  0  1  0 ?* ?* ;
+< +5 ns>       : 0  1  1  1  1  0 ?* ?* ;
+
+< +5 ns>       : 0  1  1  0  1  0 ?* ?* ;
+< +5 ns>       : 0  1  1  1  1  0 ?* ?* ;
+
+< +5 ns>       : 0  1  1  0  1  0 ?* ?* ;
+< +5 ns>       : 0  1  1  1  1  0 ?* ?* ;
+
+end;
+}}}
+
+On utilise l'attribut ''spy'' pour les signaux qu'on souhaite observer. Les signaux internes sont 
+désignés par la notation ''composant.signal''
 
 '''Attention''' : Comme les registres internes au composant ''addaccu'' sont des bascules à échantillonnage