คุณอาจได้รับข้อผิดพลาด เช่น "ข้อผิดพลาด: ไม่ได้กําหนดทิศทางของพอร์ตโมดูล "rx_datain" ในโมดูล 'alt2gxb' ในซอฟต์แวร์ Cadence Encounter Conformal ข้อผิดพลาดนี้เกิดขึ้นหากโมดูลที่เป็นกล่องสีดําสําหรับการตรวจสอบอย่างเป็นทางการสอดคล้องกับโมดูลใน Quartus® II ที่ปรับปรุง Netlist ซึ่งจะสร้างอินสแตนซ์ของโมดูลระดับล่างอื่น ๆ ในกรณีนี้ คุณต้องแนะนําเครื่องมือการตรวจสอบอย่างเป็นทางการไม่ให้วิเคราะห์โมดูลระดับล่างใน Netlist ที่ปรับปรุงใหม่
เพื่อหลีกเลี่ยงปัญหานี้ ให้เพิ่มคําสั่งต่อไปนี้สําหรับห่อหุ้มกล่องสีดําในไฟล์สคริปต์การตรวจสอบอย่างเป็นทางการที่สร้างขึ้นโดยซอฟต์แวร์ Quartus II:add no translate
ชื่อโมดูลกล่องสีดํา> -both