Changes between Version 32 and Version 33 of ToolsCourseTp7


Ignore:
Timestamp:
May 10, 2007, 3:18:53 PM (18 years ago)
Author:
anne
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ToolsCourseTp7

    v32 v33  
    66= 1 Outils utilisés =
    77Vous allez utiliser les outils de placement flot Coriolis et le routeur d'Alliance, ainsi
    8 que tous les outils de vérification vus dans le TP précédnt.
    9 Vous utiliserez aussi lvx, le comparateur de netlists. Lorsque le système est trop complexe
    10 il est difficile d'utiliser proof, le comparateur formel (calculs trop long). On utilise
     8que tous les outils de vérification vus dans le TP précédent.
     9Vous utiliserez aussi '''lvx''', le comparateur de netlists. Lorsque le système est trop complexe
     10il est difficile d'utiliser '''proof''', le comparateur formel (calculs trop long). On utilise
    1111alors une comparaison de netlists. Essayez les deux méthodes (proof et lvx).
    1212= 2 Environnement technologique =