Sự cố này xảy ra khi phần mềm Quartus® II bắt đầu với phiên bản 6.0 thực hiện tối ưu hóa nhất định trong khi trích xuất máy trạng thái. Phần mềm Quartus II tạo ra các tệp Finite State Machine (.fsm) cho phần mềm Tuân thủ để diễn giải mã hóa máy trạng thái. Các tệp FSM được tạo ra trước khi tối ưu hóa máy bang được thực hiện. Khi một số tối ưu hóa trạng thái nhất định xảy ra sau khi tệp FSM được tạo ra, sự khác biệt trong mã hóa máy bang dẫn đến sự không phù hợp giữa thiết kế vàng và thiết kế sửa đổi, làm tạm dừng xác minh chính thức.
Để tránh vấn đề này, hãy tắt Trích xuất Máy trạng thái Verilog hoặc Trích xuất Máy trạng thái VHDL trong phần Cài đặt thêm trong trang Phân tích và Tổng hợp của hộp thoại Cài đặt. Lưu ý rằng tùy thuộc vào thiết kế, việc tắt tính năng trích xuất máy trong trạng thái có thể làm giảm hiệu năng khu vực/thời gian.