Phần mềm Encounter Conformal có thể báo cáo lỗi này khi đọc danh sách mạng sửa đổi. Điều này xảy ra vì netlist Verilog Output File (.vo) được tạo ra bởi phần mềm Quartus® II có một cổng bổ sung trong mô-đun hộp màu đen khởi tạo không được định nghĩa trong tổng hợp hoặc mô-đun mô phỏng. Cổng thường là tín hiệu điều khiển điều khiển cả logic đăng ký và logic kết hợp bên trong hệ thống phân cấp hộp đen.
Giải pháp khắc phục sự cố này là thêm lệnh sau trong chế độ thiết lập của thiết kế. Lệnh này hướng dẫn Tuân thủ để bỏ qua lỗi do cổng bổ sung gây ra.
set rule handling HRC3.3 -ignore
Để biết thêm thông tin về việc xác thực chính thức bằng cách sử dụng Tuân thủ, hãy tham khảo chương Hỗ trợ tuân thủ Cadence Encounter (PDF) trong tập 3 của Sổ tay Quartus II.