Changes between Version 4 and Version 5 of VerifTempo


Ignore:
Timestamp:
Oct 8, 2007, 2:12:40 PM (17 years ago)
Author:
vasilevs
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • VerifTempo

    v4 v5  
    4141 = 3.3 Placement/routage/extraction =
    4242
    43 Il s'agit à présent de générer la vue physique d'un circuit à partir d'un fichier écrit en STRATUS à l'aide des outil de placement/routage, extraction, validation vus dans les TPs précédents.
     43Il s'agit à présent de générer la vue physique d'un circuit à partir d'un fichier écrit en '''STRATUS''' à l'aide des outil de placement/routage, extraction, validation vus dans les TPs précédents.
    4444Recopiez les différents fichiers du répertoire :
    4545{{{
    … …  
    5353
    5454Le fichier Makefile effectue les tâches suivantes :
    55  * Génération du fichier vhdl structurel (.vst) du circuit avec STRATUS
    56  * Validation cette netlist par asimut.
     55 * Génération du fichier vhdl structurel (.vst) du circuit avec '''STRATUS'''
     56 * Validation cette netlist par '''ASIMUT'''.
    5757 * Génération du "layout" de ce circuit à l'aide de ocp et nero.
    58  * Vérification du résultat (druc). ( Pour druc RDS_TECHNO_NAME est positionné à
     58 * Vérification du résultat (druc). ( Pour druc '''RDS_TECHNO_NAME''' est positionné à
    5959{{{
    6060/users/soft/techno/labo/035/extract/cmos_12.rds
    … …  
    6464cougar -t
    6565}}}
    66 en positionnant RDS_TECHNO_NAME à
     66en positionnant '''RDS_TECHNO_NAME''' à
    6767{{{
    6868/users/soft/techno/labo/035/extract/prol035.rds
    … …  
    7272 = 3.4 Etude avec eldo =
    7373
    74 D'après le schéma du circuit ci-dessus, déterminer par simulation sous eldo (dans les conditions ''pire cas'', c'est-à-dire VDD=3.3 V et le fichier de paramètres de modèles .wc), les temps de propagation des 8 portes externes à la bascule sff1.
    75 Pour toutes les entrées, en déduire, au moyen des équations obtenues en 3.2.1 et 3.2.2, les contraintes de setup-time et de hold-time.
     74D'après le schéma du circuit ci-dessus, déterminer par simulation sous '''ELDO''' (dans les conditions ''pire cas'', c'est-à-dire ''VDD'' = 3.3 V et le fichier de paramètres de modèles .wc), les temps de propagation des 8 portes externes à la bascule SFF1.
     75Pour toutes les entrées, en déduire, au moyen des équations obtenues en 3.2.1 et 3.2.2, les contraintes de '''setup-time''' et de '''hold-time'''.
    7676
    7777 = 3.5 Etude avec TAS =
    7878
    79 TAS est un analyseur temporel.
     79'''TAS''' est un analyseur temporel.
    8080Il 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.
    81 TAS travaille sans stimuli, c'est pourquoi il donne des délais ''pire cas'' pour les chaînes longues.
     81'''TAS''' travaille sans stimuli, c'est pourquoi il donne des délais ''pire cas'' pour les chaînes longues.
    8282
    83 Donner comme fichier technologie grâce à la variable d'environnement ELP_TECHNO_NAME:
     83Donner comme fichier technologie grâce à la variable d'environnement '''ELP_TECHNO_NAME''':
    8484{{{
    8585/users/soft/techno/labo/035/elp/prol035.elp
    8686}}}
    87 Précisez le format d'entrée (.spi) dans la variable d'environnement MBK_IN_LO.
     87Précisez le format d'entrée (.spi) dans la variable d'environnement '''MBK_IN_LO'''.
    8888Mettre en place l'environnement pour l'analyse de timing :
    8989{{{
    … …  
    9595}}}
    9696Consulter le man de tas et essayer les differentes options pour comprendre le fonctionnement
    97 de TAS.
     97de '''TAS'''.
    9898
    99 '''NB''' : commenter le .include dans le fichier spi pour que TAS fonctionne.
     99'''NB''' : commenter le .include dans le fichier spi pour que '''TAS''' fonctionne.
    100100
    101101 == 3.5.1 Chaines longues ==
    102102
    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.
    104 Pour cela on utilisera XTAS qui permet d'interpreter les résultats de TAS.
    105 Disposant lui aussi d'un man, XTAS est agrémenté d'une aide en ligne.
    106 Lancer l'outil XTAS grâce à la commande:
     103A 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.
     104Pour cela on utilisera '''XTAS''' qui permet d'interpreter les résultats de '''TAS'''.
     105Disposant lui aussi d'un man, '''XTAS''' est agrémenté d'une aide en ligne.
     106Lancer l'outil '''XTAS''' grâce à la commande:
    107107{{{
    108108xtas
    … …  
    111111 == 3.5.2 Détail d'une chaine ==
    112112
    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).
     113A 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).
    114114
    115115 = 3.6 Comparaison entre TAS et ELDO =
    116116
    117117Si on considère que les commandes I0, I1, I2 et les données D0, D1, D2 peuvent êtres confondues sous le terme plus général d'entrées, donner les temps de setup et de hold des entrées par rapport au front descendant de ck.
    118 A l'aide des résultats fournis par TAS, donner numériquement les temps de setup et de hold pour le circuit étudié.
    119 Comparer ces résultats avec ceux donnés par la simulation sous ELDO.
     118A l'aide des résultats fournis par '''TAS''', donner numériquement les temps de setup et de hold pour le circuit étudié.
     119Comparer ces résultats avec ceux donnés par la simulation sous '''ELDO'''.
    120120
    121121 == 3.6.1 Vérification temporelle de l'AMD ==
    122122
    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.
    124 Lancez l'outil TAS sur le fichier de l'AMD extrait au niveau trsnsitor, grâce à la commande:
     123Vous 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 positionnant '''RDS_TECHNO_NAME''' comme précédemment.
     124Lancez l'outil '''TAS''' sur le fichier de l'AMD extrait au niveau transistor, grâce à la commande:
    125125{{{
    126126tas -t nom_de_fichier
    127127}}}
    128 A l'aide de TAS et du fichier "perfmodule" général .ttx généré par TAS, donner les chaînes longues entre les points de référence du circuit et leur temps (entrées, registres, sorties).
    129 Pour cela on utilisera XTAS qui permet d'interpréter les résultats de TAS.
    130 Disposant lui aussi d'un man, XTAS est agrémenté d'une aide en ligne.
    131 Lancer l'outil XTAS grâce à la commande :
     128A l'aide de TAS et du fichier "perfmodule" général .ttx généré par '''TAS''', donner les chaînes longues entre les points de référence du circuit et leur temps (entrées, registres, sorties).
     129Pour cela on utilisera '''XTAS''' qui permet d'interpréter les résultats de '''TAS'''.
     130Disposant lui aussi d'un man, '''XTAS''' est agrémenté d'une aide en ligne.
     131Lancer l'outil '''XTAS''' grâce à la commande :
    132132{{{
    133133xtas
    … …  
    142142 * l'analyse des résultats concernant le transistor et l'inverseur.
    143143 * les mesures commentés des temps caractéristiques de la bascule.
    144  * les chaînes longues du circuit mémorisant donnés par TAS, l'analyse avec eldo, votre interprétation de la comparaison.
     144 * les chaînes longues du circuit mémorisant donnés par '''TAS''', l'analyse avec '''ELDO''', votre interprétation de la comparaison.
    145145 * La fréquence maximum d'utilisation de votre AMD avec l'explication de votre utilisation de '''TAS'''.
    146146'''NE PAS JOINDRE DE LISTINGS DE FICHIERS (SAUF LES MAKEFILES).'''