ตัวอย่างเช่น การออกแบบรวมถึงLPM_MULTเมกะฟังก์ชันที่ระบุเป็นตัวพิมพ์ใหญ่ส่งผลให้เกิดข้อผิดพลาดต่อไปนี้: // Running Conformal on the design gives the following errors.
// Error:: Design unit 'LPM_MULT' is referenced but not defined
ในตัวอย่างนี้ เน็ตลิสต์การออกแบบหลังการสังเคราะห์จะมีชื่อ LPM_MULT
เป็นตัวพิมพ์ใหญ่ เนื่องจากโมเดลไลบรารีการตรวจสอบอย่างเป็นทางการสําหรับAlteraทั้งหมดเป็นตัวพิมพ์เล็ก ทําให้ Encounter Conformal ไม่สามารถหารุ่นตัวพิมพ์ใหญ่ LPM_MULT
ในไลบรารีได้
ในการแก้ไขปัญหานี้ ให้เปลี่ยนชื่อในเน็ตลิสต์การออกแบบหลังการสังเคราะห์จากตัวพิมพ์ใหญ่เป็นตัวพิมพ์เล็ก (ในตัวอย่างนี้ เปลี่ยนชื่อเป็น lpm_mult
)
สําหรับข้อมูลเพิ่มเติมเกี่ยวกับการตรวจสอบอย่างเป็นทางการโดยใช้ Conformal โปรดดูบท Cadence Incisive Conformsive Checker Support (PDF) ในเล่มที่ 3 ของคู่มือ Quartus II