Changes between Version 27 and Version 28 of MethoCourseTp4

Timestamp:

Sep 30, 2007, 2:28:25 PM (17 years ago)

Author:

alain

Comment:

--

MethoCourseTp4

@@ -7 +7 @@
 = Objectifs =
 
-Le but de cette séance est de vous apprendre à déboger un circuit qui sera réutilisé dans les TP suivants. L'intérêt est donc double:
- * Au niveau de l'état d'esprit: vous apprendre, par la pratique, la méthodologie du débogage. Cela vous resservira     toujours étant donné que la découverte des erreurs est universelle et touche également des domaines autres que l'informatique ou l'électronique.
- * Au niveau des connaissances techniques: vous faire découvrir (ou revoir) un circuit ayant été déployé dans l'industrie qui sera réutilisé dans les TP suivants.
+Le but de cette séance est de vous apprendre à déboguer le modèle comportemental d'un circuit qui sera réutilisé dans les TP suivants. L'intérêt est donc double:
+ * Vous apprendre, par la pratique, les méthodes de débogage. 
+ * Vous inciter à analyser en détail les fonctionnalités du circuit Am2901.
+
 
 = Circuit Am2901 =
 
-Pour explorer toutes les fonctionnalités du circuit, vous devez, au cours de cette séance, valider
-la vue comportementale qui vous sera fournie. (Deux fichiers .vbe par binôme ). Vous
-trouverez la DATA SHEET de ce circuit en bas de la page.
+Vous devez, au cours de cette séance, analyser et corriger
+les deux modèles comportementaux qui vous sont fournis. (deux fichiers .vbe par binôme ). 
+Dans chaque modèle, un bug a été délibérément introduit, et le travail consiste donc
+à localiser, puis à corriger ce bug.
+Pour vous aider dans ce travail, vous trouverez la DATA SHEET "officielle" du circuit Am2901 en bas de la page.
 
-La validation devra être réalisée à l'aide de vecteurs de tests générés avec genpat.
-Les vecteurs doivent être soigneusement écrits pour vous permettre de déceler un bug
-insidieusement inséré dans votre fichier comportemental .vbe.
+La validation devra être réalisée par simulation sous Asimut, à l'aide de stimuli générés avec Genpat.
     
 Pour obtenir la description d'un AMD Am2901, tapez la commande suivante :
@@ -25 +26 @@
 
 '''Remarque''' : Le modèle comportemental  du circuit Am2901 que vous allez récupérer présente
- quelques différences par rapport à la spécification fournie :
- * La RAM est modélisée par un banc de registres à triple accès (un accès en écriture,
-  deux accés en lecture). Ceci implique que les lectures et les écritures mémoire se
-  font sur front montant du signal d'horloge ck.
+quelques différences par rapport à la spécification définie par la DATA SHEET, mais ces différences ne constituent pas des bugs :
+ * La RAM de 16 mots de 4 bits est modélisée par un banc de registres à triple accès (un accès en écriture,
+  deux accés en lecture). Les écritures se font sur front montant du signal d'horloge ck.
  * Les drapeaux np et ng sortent la valeur '1' pour les opérations logiques.