lpm_counter 메가 기능(aset, aclr, aload)의 두 개 이상의 비동기 제어 신호가 사용될 때 lpm_counter 메가 기능을 포함한 설계에 대해 공식적인 검증 불일치가 발생합니다.
이러한 불일치를 제거하려면 설계를 컴파일하기 전에 Quartus® II 소프트웨어의 lpm_counter 메가 기능의 래퍼에 블랙박스 속성을 적용하십시오.
Conformal을 사용한 공식 검증에 대한 자세한 내용은 Quartus II 핸드북의 볼륨 3의 케이던스 만남 적합 지원(PDF) 장을 참조하십시오.