Bạn có thể nhận được một lỗi như "Lỗi: Hướng cổng mô-đun 'rx_datain' trong mô-đun 'alt2gxb' không được định nghĩa" trong phần mềm Cadence Encounter Conformal. Lỗi này xảy ra nếu một mô-đun là hộp màu đen cho xác minh chính thức tương ứng với một mô-đun trong netlist sửa đổi Quartus® II mà khởi tạo các mô-đun cấp thấp hơn khác. Trong trường hợp này, bạn phải hướng dẫn công cụ xác minh chính thức không phân tích cú pháp các mô-đun cấp thấp hơn trong danh sách netlist sửa đổi.
Để tránh vấn đề này, hãy thêm lệnh sau đây cho trình bao bọc hộp màu đen trong tập tin lệnh xác minh chính thức được tạo ra bởi phần mềm Quartus II:add no translate
Tên mô-đun hộp màu đen> -both