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