Introduction Le but de ces quatre séances de TP est de présenter quelques outils de la chaîne ALLIANCE ainsi que du ot back-end CORIOLIS, dont : – Le langage de description procédural STRATUS – L'éditeur de layout GRAAL – Le véricateur de règles de dessin DRUC – L'extracteur de netlist COUGAR – L'abstracteur fonctionnel YAGLE – L'outil de preuve formelle PROOF – L'outil de placement du ot CORIOLIS MISTRAL – L'outil de routage de la chaîne ALLIANCE NERO La première séance portera sur le dessin sous GRAAL d'une cellule inverseuse et