{{{
#!html
<h1> TP6 : Routage manuel "overcell"</h1>
}}}
[[PageOutline]]
 
Nous avons vu comment dessiner entièrement une cellule puis comment réaliser
une cellule simple instanciant d'autres cellules. Nous allons maintenant réaliser un
cellule plus avancée nécessitant un routage manuel "overcell".
= 1 Explications =
Le but est de créer un compteur de bits tel que décrit ci-dessous.
FIG. 7 – Compteur de bits
La sortie Zi prend la valeur 1 quand le nombre de bits d'entrée ayant la valeur 1 est
Séance 2 : Routage manuel "overcell"
Nous avons vu comment dessiner entièrement une cellule puis comment réaliser
une cellule simple instanciant d'autres cellules. Nous allons maintenant réaliser un
cellule plus avancée nécessitant un routage manuel "overcell".
3.1 Explications
Le but est de créer un compteur de bits tel que décrit ci-dessous.
FIG. 7 – Compteur de bits
La sortie Zi prend la valeur 1 quand le nombre de bits d'entrée ayant la valeur 1 est
Notre cellule nale contiendra donc 10 portes NAND3 et 5 inverseurs. Regardons
plus précisément les caractéristiques de chaque cellule :
FIG. 9 – Dessin de la cellule
La cellule NAND3 a une largeur de 5 pitchs.
Les 3 signaux d'entrée E1, E2 et E3 sont accessibles
sur 6 pistes de routage.
Le signal de sortie S est accessible sur 7 pistes de
routage.

La cellule INVERSEUR a une largeur de 3 pitchs.
Le signal d'entrée E est accessible sur 6 pistes de
routage.
Le signal de sortie S est accessible sur 7 pistes de
routage.


Ces cellules précaractérisées sont conçues pour être aboutables dans les deux directions
X et Y. On souhaite avoir le placement suivant de notre cellule :


Ci-dessous un exemple de routage "overcell" pour la génération du signal de sortie
Z0 :


3.2 Travail à effectuer
 Décrire le comportement de la cellule compteur de bits dans un fichier .vbe
 Saisir sous GRAAL le dessin de la cellule en instanciant des portes inv_x1 et
na3_x1 de la sxlib
 Dessiner sous GRAAL le routage "overcell" en vous insprirant de la gure 12
 Valider les règles de dessin symbolique en lançant DRUC sous GRAAL
 Extraire la netlist de l'inverseur au format .al avec COUGAR
 Extraire le VHDL comportemental avec YAGLE
 Effectuer la preuve formelle entre le fichier .vbe extrait par YAGLE et le fichier
.vbe de la spécification initiale
Automatisez la vérification en écrivant un Makefile.