Les tests : vérification des netlistes physiques

Deux outils permettent de nous indiquer si le passage de la netliste logique à la netliste physique s'est bien réalisée : il s'agit de lynx et lvx. On s'assurrera que les variables d'environnement sont telles que : MBK_IN_PH=ap et MBK_OUT_LO=al. et on lance lynx qui permet de retrouver une netliste logique à partir d'une netliste physique.
lynx -v core core
lynx -v addaccu addaccu
puis on lance lvx pour comparer les netlistes logiques initiales et extractées
 
lvx vst al core core <= doit arriver à la conclusion 'Netlists are identical'
lvx vst al diviseur diviseur <= doit arriver à la conclusion 'Netlists are identical'
 <--Précédent
 Sommaire
 Suivant-->

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 26 May 2000.