Wenn Sie die Option für die Duplikation des Registers "Physikalische Synthese durchführen" in den Quartus® II Softwareversionen 7.0 und früher verwenden, werden einige Register mit hohen Lüftern dupliziert. Wenn Sie eine formale Verifizierung mit Conformal LEC durchführen, kann das Tool eine Nichtäquivalenz zwischen dem goldigen (RTL) und überarbeiteten (verarbeiteten) Design für Stratix® II GX-Designs melden. Die Nichtäquivalenz tritt auf, da Instanzäquivalenzbefehle, die in der .ctc-Skriptdatei für diese duplizierten Register geschrieben werden, von Conformal LEC ignoriert werden.
Dieses Problem wurde ab Version 7.1 der Quartus II Software behoben.
Um dieses Problem in Versionen 7.0 und früher zu vermeiden, bearbeiten Sie die .ctc-Datei und fügen Sie die U
Zeichenkette nach jedem der goldigen und überarbeiteten Instanznamen für alle doppelten Register in Ihrem Stratix II GX-Design hinzu. Durch Hinzufügen dieser Zeichenkette kann Confomal LEC die Instanz finden und den Instanzäquivalenzbefehl anwenden.
Beispielsweise haben Sie in der .ctc-Datei möglicherweise den folgenden Befehl:
add instance equivalence e_I/lc_ff e~SynDup_I/lc_ff -flatten -revised
Ändern Sie diesen Befehl wie folgt:
add instance equivalence e_I/lc_ff/U e~SynDup_I/lc_ff/U -flatten -revised