Lorsque vous utilisez l’option De synthèse physique Effectuez la duplication de registres dans les versions 7.0 et antérieures du logiciel Quartus® II, certains registres à ventilateur élevé sont dupliqués. Si vous effectuez une vérification officielle auprès de Conformal LEC, l’outil peut signaler une non-équivalence entre la conception or (RTL) et la conception révisée (traitée) pour les conceptions Stratix® II GX. La non-équivalence se produit parce que les commandes d’équivalence d’instance écrites dans le fichier .mœm script pour ces registres dupliqués sont ignorées par Conformal LEC.
Ce problème a été résolu à partir de la version 7.1 du logiciel Quartus II.
Pour éviter ce problème dans les versions 7.0 et précédentes, modifiez le fichier .mhs et ajoutez la U chaîne après chacun des noms d’instances dorés et révisés pour tous les registres dupliqués dans votre conception GX Stratix II. L’ajout de cette chaîne permet à Confomal LEC de trouver l’instance et d’appliquer la commande d’équivalence d’instance.
Par exemple, il est possible que vous ayez la commande suivante dans le fichier .ssyhd :
add instance equivalence e_I/lc_ff e~SynDup_I/lc_ff -flatten -revised
Modifiez cette commande comme suit :
add instance equivalence e_I/lc_ff/U e~SynDup_I/lc_ff/U -flatten -revised