wiki:ToolsCourseTp8

TP8 : Vérification temporelle

1 Introduction

TAS est un analyseur temporel. Il permet d'obtenir les temps de propagation minimaux et maximaux entre les points de référence (c'est à dire les connecteurs externes et les points mémorisants) d'un circuit. TAS travaille sans stimuli, c'est pourquoi il donne des délais pire-cas pour les chaînes longues.

2 Travail à effectuer

2.1 Analyse temporelle

L'environnement doit être correctement initialisé de façon à pouvoir utiliser TAS :

  • Donner comme fichier technologie gràce à la variable d'environnement
    export ELP_TECHNO_NAME=/users/soft/techno/labo/035/elp/prol035.elp
    
  • Préciser le format d'entrée (.al) dans la variable d'environnement MBK_IN_LO.
  • Mettre en place l'environnement pour l'analyse de timing :
    source avt_env.sh
    

2.1.1 Chaines longues

  • Il suffit ensuite de l'ancer l'outil TAS :
    tas -t nom_de_fichier
    
  • Consulter le man de TAS et essayer les différentes options pour comprendre le fonctionnement de TAS.
  • Utiliser XTAS qui permet d'interpréter les résultats de TAS. Disposant lui aussi d'un man, XTAS est agrémenté d'une aide en ligne.
    xtas
    

XTAS vous permet de visualiser les chaines longues entre les points de référence du circuit et leur temps (entrées, registres, sorties). Pour les nostalgiques de l'écran vert il existe un outil similaire en ligne de commande qui s'appelle ETAS (voir l'aide en ligne qui s'affiche avec la commande help sous ETAS).

2.1.2 Amélioration de la chaîne longue

  • Créer un second répertoire et copier tous les fichiers sources de l'AM2901 dans celui ci.
  • A partir des chaînes longues étudiées précédemment, reprendre la procédure de création de l'AM2901 à zéro essayant d'améliorer le temps.

Différentes étapes de conception peuvent être amenées à être ré-étudiées ; le placement choisi pour le chemin de données entre autres ...

2.2 Chemin de test

  • Effectuer l'appel à scapin apres la synthèse sur la partie contrôle.
  • Utiliser la bascule DPGEN avec chemin de test dans le chemin de données.
  • Connecter les chemins de test contrôle et chemin de données dans le coeur.
  • Ajouter les plots de test dans le chip et les connecter avec le coeur.

3 Rapport

Vous préciserez dans le rapport les valeurs que vous avez obtenues pour la chaîne longue en début de TP, en précisant bien par où passe cette chaîne longue.

Vous expliciterez en détail les modifications que vous avez apportées à votre circuit, et les réflexions qui vous ont amenés à faire ces modifications.

Vous donnerez les résultats obtenus après modifications.

Vous expliquerez également la mise en place du chemin de test.

Last modified 16 years ago Last modified on Oct 16, 2008, 3:20:51 PM