Die Quartus® II Softwareversionen 7.1 und früher generieren diesen Fehler, wenn Sie Blackbox-Zuweisungen zur formalen Verifizierung mit Cadence LEC auf die AltGXB- oder ALT2GXB-Entität anwenden.
Um den Fehler zu vermeiden, erstellen Sie Blackboxs für jede megaWistellig generierte® benutzerdefinierte Megafunktions-Variation-Datei oder Wrapper-Datei, die die AltGXB- oder ALT2GXB-Megafunktion instanziiert. Kompilieren Sie dann das Design erneut.
Dieses Problem wird voraussichtlich in einer zukünftigen Version der Quartus II Software behoben.
Weitere Informationen zum Erstellen von Blackboxs zur formalen Verifizierung finden Sie im Kapitel Cadence Encounter Conformal Support (PDF) in Teil 3 des Quartus II Handbuchs.