Mô tả
Không phù hợp xác minh chính thức xảy ra cho các thiết kế bao gồm siêu chức năng lpm_counter khi sử dụng hai hoặc nhiều tín hiệu điều khiển không đồng bộ của siêu chức năng lpm_counter (aset, aclr, aload)
Để loại bỏ những sự nhầm lẫn này, áp dụng thuộc tính hộp màu đen vào gói của lpm_counter năng suất lớn trong phần mềm Quartus® II trước khi biên dịch thiết kế.
Để 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.