Remarque concernant cette documentation : Ce document est en HTML, et on le lit avec un "browser" comme Netscape. Ce format permet une bonne lecture, mais la version imprimée ne paraît peut-être pas très structurée.
Introduction
PrérequisLes différents shellsInstallation et utilisation
Les pages de manuel
Les fichiers PostScript
Les variables d'environnement
L'éditeur GNU Emacs
Les MakefilesAvertissementTutorial addaccu
Étapes d'installation
Avant l'utilisation
Vérification du bon fonctionnement
Note importante
DésinstallationGeneration du composant par synthèse VHDLProblèmes potentiels et solutionsPrésentation générale du processus de conceptionSérie de tests
Préparation à la compilation d'addaccu
Schéma général de la synthèse VHDL
Optimiseur (bop)
Mapping sur les cellules standards (scmap)
Routage du noyau (scr)
Création de l'anneau (genlib)
Routage noyau-anneau (ring)
Mapping dans une technologie particulière (s2r)Préliminaires sur la simulation (asimut)
Simulation initiale
Vérification des netlistes physiques (lynx,lvx)
Retour aux origines: utilisation du prouveur formel (proof)SimulationNotre module d'automatisation de la synthèse d'un ASIC
Optimisation logique (bop)
"mapping" vers les cellules standard (scmap)
Routage (scr)
Utilisation de genlib et pads
Obtention de la couche "physique" avec les pads
Extraction de la netlist, et retour au vhdl
Couche physique réelle
Notre circuitDescription détailléeLes organismes à contacter
Contraintes
Conclusion