詳細
この問題は、バージョン 6.0 以降の Quartus® II ソフトウェアがステートマシンを抽出中に特定の最適化を実行した場合に発生します。Quartus® II ソフトウェアは、コンファカル・ソフトウェアがステート・マシン・エンコーディングを解釈するための有限状態機械ファイル (.fsm) を生成します。FSM ファイルは、ステート・マシンの最適化が実行される前に生成されます。FSM ファイルの生成後に特定の状態最適化が行われると、ステート・マシン・エンコーディングの違いによりゴールデン・デザインと改訂版デザインの不一致が生じ、正式な検証が停止されます。
この問題を回避するには、[設定]ダイアログボックスの [分析と合成] ページの[その他の設定]で[Verilogステートマシンの抽出] または[VHDL ステートマシンの抽出] をオフにします。デザインによっては、ステート・マシン抽出をオフにすると、エリア / タイミング・パフォーマンスが低下する場合があります。