Changes between Version 21 and Version 22 of ToolsCourseTp1
- Timestamp:
- May 11, 2007, 2:02:09 PM (18 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ToolsCourseTp1
v21 v22 9 9 * L'outil de génération de data-path Stratus ; 10 10 * L'éditeur graphique de netlist XSCH; 11 * Les outils pour la preuve formelle FLATBEH, PROOF; 11 12 12 * Le simulateur ASIMUT; 13 13 Chaque outil possède ses propres options donnant des résultats plus ou moins adaptés … … 66 66 67 67 Afin de décrire de tels automates, on utilise un style particulier de description 68 VHDL qui définit l'architecture "fsm"(finite-state machine).68 VHDL qui définit l'architecture '''"fsm"''' (finite-state machine). 69 69 Le fichier correspondant possède également l'extension fsm. A partir de ce fichier, 70 70 l'outil SYF effectue la synthèse d'automate et transforme cet automate abstrait en un 71 réseau booléen. SYFgénère donc un fichier VHDL au format vbe. Comme la plupart71 réseau booléen. '''SYF ''' génère donc un fichier VHDL au format vbe. Comme la plupart 72 72 des outils utilisés au laboratoire, il faut positionner certaines variables d'environnement 73 avant d'utiliser SYF. Pour les connaître, reportez-vous au man de syf.73 avant d'utiliser '''SYF'''. Pour les connaître, reportez-vous au man de syf. 74 74 75 75 … … 170 170 automate de Moore. 171 171 * Positionner les variables d'environnement. 172 * Lancer SYF avec les options de codage -a, -j, -m, -o, -ret en utilisant les options173 -CEV.172 * Lancer '''SYF''' avec les options de codage '''-a''', '''-j''', '''-m''', '''-o''', '''-r''' et en utilisant les options 173 '''-CEV'''. 174 174 175 175 {{{ … … 180 180 Un fichier Makefile vous est fourni pour vous faciliter la vie ! 181 181 Utilisez ce Makefile à compléter. 182 * Visualiser les fichiers .enc183 * Ecrire un fichier de vecteurs de test et simuler sous ASIMUT.184 Que se passe-t-il si le resetn'est pas positionné en début de pattern ? Pourquoi ?182 * Visualiser les fichiers '''.enc''' 183 * Ecrire un fichier de vecteurs de test et simuler sous '''ASIMUT'''. 184 Que se passe-t-il si le '''reset''' n'est pas positionné en début de pattern ? Pourquoi ? 185 185 186 186 … … 238 238 239 239 Ecrire le fichier .pat de vecteurs de test. 240 * Simuler avec ASIMUTtoutes les vues comportementales obtenues.240 * Simuler avec '''ASIMUT''' toutes les vues comportementales obtenues. 241 241 * Adaptez le Makefile pour qu'il couvre tous les encodages possibles. 242 242 Quelles sont vos remarques concernant la complexité des expressions (i.e temps)
