Changes between Version 3 and Version 4 of VerifTempo
- Timestamp:
- Oct 8, 2007, 2:07:02 PM (17 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
VerifTempo
v3 v4 31 31 }}} 32 32 33 = 3.2.1 Contraintes sur les données =33 == 3.2.1 Contraintes sur les données == 34 34 35 35 En faisant des hypothèses sur les temps de propagation entre les signaux D0,D1,D2 et le signal D, donner l'expression des temps de setup et de hold des données D0,D1,D2 par rapport au front montant de l'horloge CK. 36 36 37 = 3.2.2 Contraintes sur les commandes=37 == 3.2.2 Contraintes sur les commandes == 38 38 39 39 En faisant des hypothèses sur les temps de propagation entre I0,I1,I2 et Z, donner l'expression des temps de setup et de hold des commandes I0,I1,I2 autorisant l'écriture par rapport au front montant et au front descendant de l'horloge CK. … … 99 99 '''NB''' : commenter le .include dans le fichier spi pour que TAS fonctionne. 100 100 101 = 3.5.1 Chaines longues =101 == 3.5.1 Chaines longues == 102 102 103 103 A l'aide de TAS, et du fichier "perfmodule" général .ttx généré par TAS, donner les chaines longues entre les points de référence du circuit, et leur temps. … … 109 109 }}} 110 110 111 = 3.5.2 Détail d'une chaine=111 == 3.5.2 Détail d'une chaine == 112 112 113 113 A l'aide d'XTAS, donner le détail de la chaine la plus longue, pour chaque couple de points d'arrêt (sortie, point mémorisant). … … 119 119 Comparer ces résultats avec ceux donnés par la simulation sous ELDO. 120 120 121 = 3.6.1 Vérification temporelle de l'AMD =121 == 3.6.1 Vérification temporelle de l'AMD == 122 122 123 123 Vous allez réaliser l'analyse statique temporelle de l'AMD du TP3, grâce à l'extraction que vous devez réaliser au niveau transistor, en positionant RDS_TECHNO_NAME comme précédemment.