| | 26 | ==== Question 2 ==== |
| | 27 | Une fois la description comportementale compilée avec succés (c'est à dire sans erreur!), pour valider votre description vous devez écrire un fichier de vecteurs de test non exhaustifs, mais choisis juicieusement, une douzaine de vecteurs environ, ce fichier sera nommé ''addaccu.pat''. |
| | 28 | |
| | 29 | * L'horloge ck doit respecter la cadence suivante : '''un état bas pendant 50ns''' puis '''un état haut pendant 50ns '''. |
| | 30 | * Toutes les entrées du circuit doivent être positionnées dés le début de la simulation et rester constantes aui moins pendant un cycle (un état bas de ck '''et''' un état '''haut''' de ck |
| | 31 | * Les sorties doivent être positionnées à la valeur attendue tout au long de la simulation |
| | 32 | * Vous utiliserez les directives '''Register''' et '''Signal''' pour observer les registres et les signaux internes de votre circuit. |
| | 33 | |
| | 34 | Pour toute information concernant la syntaxe du fichier ''.pat'', vous pouvez vous reporter au man |
| | 35 | {{{ |
| | 36 | > man 5 pat |
| | 37 | }}} |
| | 38 | le '''5''' fait référence à la classe des manuels de formats de fichiers. |
| | 39 | ==== Question 3 ==== |
| | 40 | Utilisez maintenant les vecteurs de test écrits pour simuler votre circuit |
| | 41 | {{{ |
| | 42 | >asimut -b -l 0 addaccu addaccu addaccu_res |
| | 43 | }}} |
| | 44 | === Exercice 2- Convertisseur monétaire |
| | 45 | Dans un premier temps, on veut réaliser un convertisseur dédié à une monnaie, réalisant dans ce cas la conversion d'Euros en Francs Suisses, sachant que 1 Euro = 1,5 CHF |
| | 46 | |
| | 47 | [[Image(fig2.jpg,nolink)]] |
| | 48 | Ce circuit comporte un port d'entrée de 4 bits '''euro_in''' correspondant à la somme en Euros à convertir et un second port d'entrée '''conv''' qui permet de déclancher la conversion. Ce circuit fournit le résultat sur sa sortie au cycle suivant l'activation de la commande '''conv'''. |
| | 49 | ==== Question 1 ==== |
| | 50 | Ecrivez le modèle '''.vbe''' de ce circuit, ce modèle sera validé par |
| | 51 | {{{ |
| | 52 | > asimut -b -c modele |
| | 53 | }}} |
| | 54 | ==== Question 2 ==== |
| | 55 | Ecrivez un fichier de stimuli '''.pat''' permettant de tester ce circuit |
| | 56 | {{{ |
| | 57 | > asimut -b -l 0 modele modele modele_res |
| | 58 | }}} |
