설명
디자인 넷리스트의 설계 엔터티 이름이 공식 검증 라이브러리에 있는 엔터티의 경우와 일치하지 않을 경우 만남 공식 인증 도구가 이 오류를 보고할 수 있습니다.
예를 들어 대문자로 지정된 LPM_MULT 메가기능을 포함한 설계는 다음과 같은 오류를 초래합니다. // Running Conformal on the design gives the following errors. // Error:: Design unit 'LPM_MULT' is referenced but not defined
이 예에서는 합성 후 디자인 넷리스트에 대문자로 이름이 LPM_MULT 포함됩니다. 모든 Altera 메가 기능의 공식 검증 라이브러리 모델은 소문자이므로, 만남 준수는 라이브러리에서 대문자 LPM_MULT 모델을 찾을 수 없습니다.
이 문제를 해결하려면 합성 후 디자인 넷리스트의 이름을 대문자에서 소문자로 변경합니다(이 예에서는 이름을 lpm_mult변경).
Conformal을 사용한 공식 검증에 대한 자세한 내용은 Quartus II 핸드북의 볼륨 3의 케이던스 절개 적합성 검사기 지원(PDF) 장을 참조하십시오.