Avantages du paradigme asynchrone

Table des matières

INTRODUCTION
CHAPITRE 1 CONCEPTS FONDAMENTAUX ET REVUE DE LA LITTÉRATURE
1.1 Théorie des graphes
1.1.1 Concepts de base
1.1.2 Représentations logicielles des graphes
1.1.3 Cas d’utilisation
1.2 Méthode de conception traditionnelle
1.2.1 Domaines d’abstraction
1.2.2 Design structurel
1.2.3 Méthodologie de design de circuits numériques
1.3 Conception de circuits asynchrones
1.3.1 Avantages du paradigme asynchrone
1.3.2 Méthodes de synchronisation
1.3.3 Outils d’aide au design
1.4 Vérification temporelle des circuits
1.4.1 Analyse statique
1.4.2 Analyse statistique-statique
1.4.3 Méthodes d’analyse appliquées aux circuits asynchrones
1.5 Test des circuits fabriqués
1.5.1 Modèles de pannes
1.5.2 Méthodes de test
1.5.3 Tessent de Mentor Graphics
1.6 Conclusion
CHAPITRE 2 MÉTHODOLOGIE DE DESIGN D’OCTASIC
2.1 Architecture typique des circuits d’Octasic
2.2 Synchronisation par jetons
2.3 Circuits de test illustrant la méthodologie
2.3.1 tok_test
2.3.2 pico_alu
2.3.2.1 Traitement des jetons
2.3.2.2 Unité de traitement de données
2.4 Structures fréquemment utilisées dans les designs d’Octasic
2.4.1 Configuration A
2.4.2 Configuration B
2.4.3 Configuration C
2.5 Conclusion
CHAPITRE 3 QMI : OUTIL DE DÉCOUVERTE DES POINTS DE CONVERGENCE
3.1 Point de convergence
3.2 Utilisation de qmi
3.3 Fonctionnement de haut-niveau
3.3.1 Découverte des points de convergence
3.3.1.1 Conditions d’arrêt A
3.3.1.2 Conditions d’arrêt B
3.3.2 Génération des résultats
3.4 Configuration de l’outil
3.4.1 Fichier de configuration principal
3.4.2 Description des cellules de base
3.4.3 Points d’intérêt
3.4.4 Configuration des afficheurs
3.5 Conclusion
CHAPITRE 4 COUVERTURE ET POINTS DE CONVERGENCE
4.1 Validation de qmi
4.2 Résultats et analyses
4.2.1 Circuit tok_test
4.2.1.1 Représentation graphique
4.2.1.2 Couverture et temps d’exécution
4.2.1.3 Analyse des résultats
4.2.2 Circuit pico_alu
4.2.2.1 Représentation graphique
4.2.2.2 Couverture et temps d’exécution
4.2.2.3 Analyse des résultats
4.2.3 Résumé des analyses
4.3 Limitations des résultats
4.4 Conclusion
CONCLUSION
RECOMMANDATIONS
ANNEXE I DÉVELOPPEMENT ET VALIDATION DE G
ANNEXE II ÉLABORATION DE L’OUTIL QMI
ANNEXE III RÉSULTATS COMPLETS DES ANALYSES DES CIRCUITS DE TEST
LISTE DE RÉFÉRENCES BIBLIOGRAPHIQUES