1 Conception assistée par ordinateur (CAO)
1.1 Définition. But. Portée
1.2 Phases de l'élaboration d'un produit
1.3 Vérification de la conception
2 Outils pour l'établissement et la vérification des spéci-fications
2.1 Nécessité des spécifications
2.2 Nature et portée des spécifications
2.3 Caractéristiques idéales d'un outil d'écriture de spécifications
2.4 Outils
3 Outils de synthèse
3.1 Portée
3.2 Choix de la structure des circuits
3.3 Synthèse automatique des circuits analogiques
3.4 Synthèse automatique des circuits logiques
4 Outils d'analyse
4.1 But et portée de la simulation des circuits
4.2 Analyse des circuits analogiques
4.21 Principales classes de simulateurs
4.22 Choix d'un simulateur
4.23 Modélisation
4.3 Analyse des circuits logiques
4.31 Différents types d'analyse
4.32 Principales classes de simulateurs
4.33 Simulation de défauts
4.34 Vérification du comportement logico-temporel
4.35 Choix d'un simulateur
4.4 Autres outils d'analyse
5 Bilan et perspectives d'avenir
Documentation