Die "Encounter Conformal"-Software kann diesen Fehler melden, während sie die überarbeitete Netzliste liest. Dies tritt auf, weil die von der Quartus® II Software generierte Verilog Output File (.vo) Netliste einen zusätzlichen Port im instanziierten Blackbox-Modul enthält, der nicht in der Synthese oder im Simulationsmodul definiert ist. Der Port ist in der Regel ein Steuerungssignal, das sowohl Register- als auch Kombinationslogik innerhalb der Blackbox-Hierarchie steuert.
Die Problemumgehung für dieses Problem besteht darin, den folgenden Befehl während des Setup-Modus des Designs hinzuzufügen. Dieser Befehl weist Conformal an, den Fehler, der durch den zusätzlichen Port verursacht wird, zu ignorieren.
set rule handling HRC3.3 -ignore
Weitere Informationen zur formalen Verifizierung mit Conformal finden Sie im Kapitel Cadence Encounter Conformal Support (PDF) in Teil 3 des Quartus II Handbuchs.