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.