หากคุณพยายามใช้ซอฟต์แวร์ Cadence Encounter Conformal สําหรับการตรวจสอบอย่างเป็นทางการของ altddio_out.v, altlvds_tx.v, altlvds_rx.v, lvds_tx.v, lvds_rx.v, flvds_tx.v, flvds_rx.v, altmult_add.v, altmult_accum.v, หรือ altpll.v การตรวจสอบอย่างเป็นทางการล้มเหลวโดยมีข้อผิดพลาด:
Error RTL 18.3: Function call does not refer to function
definition.