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 corepuis on lance lvx pour comparer les netlistes logiques initiales et extractées
lynx -v addaccu addaccu
lvx vst al core core <= doit arriver à la conclusion 'Netlists are identical' lvx vst al diviseur diviseur <= doit arriver à la conclusion 'Netlists are identical'
|
|
|