Changes between Version 3 and Version 4 of MOCCA-TP1-2021
- Timestamp:
- Sep 20, 2019, 12:32:30 PM (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
MOCCA-TP1-2021
v3 v4 7 7 == Introduction == 8 8 9 Vous devez commencer par sourcer le fichier d'environnement : 10 {{{#!bash 11 source /soc/alliance/etc/profile.d/alc_env.sh 12 }}} 9 13 Le but de cet exercice est le dessin sous '''graal''' d'une Nand à 2 entrées. 10 14 Les notions de cellules précaractérisées et de de gabarit seront introduites. … … 18 22 Vous devez travailler dans l'environnement Alliance. Vérifier que cette variable est bien positionnée : 19 23 20 {{{ 24 {{{#!bash 21 25 > echo $RDS_TECHNO_NAME 22 26 }}} … … 24 28 Si ce n'est pas le cas, positionnez la : 25 29 26 {{{ 30 {{{#!bash 27 31 > export RDS_TECHNO_NAME=/opt/alliance/etc/cmos.rds 28 32 }}} … … 48 52 49 53 Pour extraire au niveau transistor, la commande à utiliser est : 50 {{{ 54 {{{#!bash 51 55 > cougar -t file1 file2 52 56 }}} … … 54 58 '''cougar''' utilise les variables d'environnement '''MBK_IN_PH''' et '''MBK_OUT_LO''' suivant les formats d'entrée et de sortie. 55 59 Par exemple pour générer une netlist au format '''.al''' à partir d'une description '''.ap''' il faut écrire : 56 {{{ 60 {{{#!bash 57 61 > export MBK_IN_PH=ap 58 62 > export MBK_OUT_LO=al … … 64 68 L'outil '''yagle''' est capable d'extraire la description VHDL comportementale d'un circuit au format '''.vbe''' à partir d'une ''netlist '' au format '''.al''' ''si celle-ci est au niveau transistor''. 65 69 66 {{{ 70 {{{#!bash 67 71 > export MBK_IN_LO=al 68 72 > ~encadr/yagle -s file1 file2 … … 74 78 Cette solution devient vite coûteuse en temps CPU et il vaut mieux faire appel à un outil de preuve formelle qui effectue la comparaison ''mathématique'' des deux réseaux booléens. 75 79 '''proof''' réalise cette opération entre les description file1.vbe et file2.vbe par la commande : 76 {{{ 80 {{{#!bash 77 81 > proof file1 file2 78 82 }}}
