使用Cadence Encounter Conformal软件时,Stratix V的形式验证可能会失败

如果您尝试使用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.

编辑 重设标签(回车键确认) 标为违禁 关闭 合并 删除

提问于 2018-08-02 13:34:39 +0800

这个帖子被标记为一个社区wiki

这个帖子是一个wiki(维基). 任何一个积分 >500的人都可以完善它