Changes between Version 3 and Version 4 of ToolsTp4-2010
- Timestamp:
- Dec 8, 2009, 12:15:56 PM (15 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ToolsTp4-2010
v3 v4 9 9 == 1.1 Introduction == 10 10 11 Le but de cet exercice est le dessin sous ''' GRAAL''' d'une Nand à 2 entrées.11 Le but de cet exercice est le dessin sous '''graal''' d'une Nand à 2 entrées. 12 12 Les notions de cellules précaractérisées et de de gabarit seront introduites. 13 13 14 14 Dans les TP précédents nous avons utilisé des cellules d'une bibliothèque. 15 Cette bibliothèque peut être enrichie de nouvelles cellules grâce à l'éditeur ''' GRAAL'''.15 Cette bibliothèque peut être enrichie de nouvelles cellules grâce à l'éditeur '''graal'''. 16 16 17 ''' GRAAL''' est un éditeur de layout symbolique intégrant le vérificateur de règles de dessin '''DRUC'''.17 '''graal''' est un éditeur de layout symbolique intégrant le vérificateur de règles de dessin '''druc'''. 18 18 19 19 Cet exercice a pour objectif de dessiner une cellule en tenant compte des [attachment:symb_rules00-1.pdf règles de dessin fournies]. … … 28 28 == 1.2 Outils utilisés == 29 29 30 === G RAAL===30 === Graal === 31 31 32 L'éditeur de layout ''' GRAAL''' manipule plusieurs types d'objets différents que l'on peut créer avec le menu '''CREATE''' :32 L'éditeur de layout '''graal''' manipule plusieurs types d'objets différents que l'on peut créer avec le menu '''create''' : 33 33 * les instances (importation de cellules physiques), 34 34 * les boîtes d'aboutement qui définissent les limites de la cellule, … … 39 39 * les transistors : NMOS ou PMOS. 40 40 41 ''' GRAAL''' utilise la variable d'environnement '''GRAAL_TECHNO_NAME'''.41 '''graal''' utilise la variable d'environnement '''GRAAL_TECHNO_NAME'''. 42 42 Elle doit être positionnée à ''/opt/alliance/etc/cmos.graal'' : 43 43 … … 46 46 }}} 47 47 48 === C OUGAR===48 === Cougar === 49 49 50 L'outil ''' COUGAR''' est capable d'extraire la netlist d'un circuit aux formats '''.vst''' ou '''.al''' à partir d'une description au format '''.ap'''.50 L'outil '''cougar''' est capable d'extraire la netlist d'un circuit aux formats '''.vst''' ou '''.al''' à partir d'une description au format '''.ap'''. 51 51 52 52 Pour extraire au niveau transistor, la commande à utiliser est : … … 55 55 }}} 56 56 57 ''' COUGAR''' utilise les variables d'environnement '''MBK_IN_PH''' et '''MBK_OUT_LO''' suivant les formats d'entrée et de sortie.57 '''cougar''' utilise les variables d'environnement '''MBK_IN_PH''' et '''MBK_OUT_LO''' suivant les formats d'entrée et de sortie. 58 58 Par exemple pour générer une netlist au format '''.al''' à partir d'une description '''.ap''' il faut écrire : 59 59 {{{ … … 63 63 }}} 64 64 65 === Y AGLE===65 === Yagle et Vasy === 66 66 67 L'outil ''' YAGLE''' est capable d'extraire la description VHDL comportementale d'uncircuit au format '''.vhd''' à partir d'une ''netlist '' au format '''.al''' ''si celle-ci est au niveau transistor''.67 L'outil '''yagle''' est capable d'extraire la description VHDL comportementale d'uncircuit au format '''.vhd''' à partir d'une ''netlist '' au format '''.al''' ''si celle-ci est au niveau transistor''. 68 68 69 L'outil ''' VASY''' permet de convertir une description VHDL comportementale du format '''.vhd''' au format '''.vbe'''.69 L'outil '''vasy''' permet de convertir une description VHDL comportementale du format '''.vhd''' au format '''.vbe'''. 70 70 La commande à utiliser est : 71 71 {{{ … … 82 82 83 83 avec le fichier [attachment:avt_env.sh avt_env.sh]. 84 Cette commande permet de mettre en place l'environnement nécessaire à l'utilisation de ''' YAGLE'''.84 Cette commande permet de mettre en place l'environnement nécessaire à l'utilisation de '''yagle'''. 85 85 86 86 Les documentations pour cet outil se trouvent en :'''/users/soft/AvtTools2003/doc '''. 87 87 88 === P ROOF===88 === Proof === 89 89 90 90 Lorsqu'on veut prouver l'équivalence de deux descriptions comportementales de type ''dataflow'' d'un même circuit à n entrées, on peut simuler par '''asimut''' des vecteurs pour les deux descriptions et les comparer. 91 91 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. 92 ''' PROOF''' réalise cette opération entre les description file1.vbe et file2.vbe par la commande :92 '''proof''' réalise cette opération entre les description file1.vbe et file2.vbe par la commande : 93 93 {{{ 94 94 > proof file1 file2 … … 139 139 == 2.1 Introduction == 140 140 141 Nous avons vu dans l'exercice précédent comment dessiner une cellule précaractérisée respectant le gabarit de le bibliothèque ''' SXLIB'''.142 Le but de cet exercice est de réaliser le dessin des masques d'un bloc combinatoire résultant de l'interconnexion de plusieurs cellules de la bibliothèque ''' SXLIB'''.141 Nous avons vu dans l'exercice précédent comment dessiner une cellule précaractérisée respectant le gabarit de le bibliothèque '''sxlib'''. 142 Le but de cet exercice est de réaliser le dessin des masques d'un bloc combinatoire résultant de l'interconnexion de plusieurs cellules de la bibliothèque '''sxlib'''. 143 143 On va donc effectuer ''à la main'' (c'est à dire en utilisant l'éditeur interactif '''graal'''), le placement et le routage de ce bloc, pour mieux comprendre les problèmes que doivent résoudre les outils de placement/routage automatiques. 144 144
