为什么Conformal LEC失败,显示我的设计中状态机中的状态数不匹配?

从版本6.0开始的Quartus®II软件在提取状态机时执行某些优化时会发生此问题。 Quartus II软件为Conformal软件生成有限状态机文件(.fsm),以解释状态机编码。在执行状态机优化之前生成FSM文件。在生成FSM文件之后发生某些状态优化时,状态机编码的差异导致黄金设计与修改设计之间的不匹配,从而停止正式验证。

要避免此问题,请在“设置”对话框的 分析和综合”页面中的 更多设置”下关闭“ 提取Verilog状态机”或“ 提取VHDL状态机 ”。请注意,根据设计,关闭状态机提取可能会降低区域/时序性能。

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

提问于 2018-08-02 13:36:35 +0800

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

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