Dieses Problem tritt auf, wenn die Quartus® II Software ab Version 6.0 bestimmte Optimierungen beim Extrahieren von Zustandsmaschinen durchführt. Die Quartus II Software generiert Für die konforme Software Dateien (.fsm) zur Interpretation der Zustands-Maschinencodierung. Die FSM-Dateien werden vor der Erstellung von Zustandsoptimierungen für Maschinen generiert. Wenn nach der Generierung der FSM-Datei bestimmte Zustandsoptimierungen auftreten, führt der Unterschied in der Zustands-Maschinencodierung zu einer Diskrepanz zwischen dem goldfarbenen Design und dem überarbeiteten Design, wodurch die formale Verifizierung angehalten wird.
Um dieses Problem zu vermeiden, deaktivieren Sie unter Weitere Einstellungen auf der Analyse- und Syntheseseite des Dialogfelds Einstellungen unter "Verilog-Zustandsmaschinen extrahieren" oder "VHDL-Zustandsmaschinen extrahieren". Beachten Sie, dass das Ausschalten der Zustandsmaschinenextraktion je nach Design die Bereichs-/Zeitgebungsleistung reduzieren kann.