ID บทความ: 000085901 ประเภทข้อมูล: การแก้ไขปัญหา การตรวจสอบครั้งล่าสุด: 11/09/2012

ทําไมจึงพบหน่วยงานออกแบบที่ไม่ได้กําหนดรายงานที่ไม่มีการกําหนดในระหว่างการตรวจสอบอย่างเป็นทางการ

สิ่งแวดล้อม

  • การตรวจรับรอง
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    คำอธิบาย เครื่องมือตรวจสอบความถูกต้องทางการ Encounter Conformal อาจรายงานข้อผิดพลาดนี้หากชื่อหน่วยงานออกแบบใน netlist การออกแบบไม่ตรงกับกรณีของนิติบุคคลในไลบรารีการตรวจสอบอย่างเป็นทางการ

    ตัวอย่างเช่น การออกแบบรวมถึง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

    ผลิตภัณฑ์ที่เกี่ยวข้อง

    บทความนี้จะนำไปใช้กับ 1 ผลิตภัณฑ์

    เอฟพีจีเอ Stratix®

    เนื้อหาในหน้านี้เป็นการผสมผสานระหว่างการแปลเนื้อหาต้นฉบับภาษาอังกฤษโดยมนุษย์และคอมพิวเตอร์ เนื้อหานี้จัดทำขึ้นเพื่อความสะดวกของคุณและเพื่อเป็นข้อมูลทั่วไปเท่านั้นและไม่ควรอ้างอิงว่าสมบูรณ์หรือถูกต้อง หากมีความขัดแย้งใด ๆ ระหว่างเวอร์ชันภาษาอังกฤษของหน้านี้กับคำแปล เวอร์ชันภาษาอังกฤษจะมีผลเหนือกว่าและควบคุม ดูเวอร์ชันภาษาอังกฤษของหน้านี้