错误:HRC3.3:未定义的命名端口连接

Encounter Conformal软件可能会在阅读修订后的网表时报告此错误。这是因为由Quartus®II软件生成的Verilog输出文件(.vo)网表包含未在综合或仿真模块中定义的实例化的黑盒模块中的其他端口。端口通常是控制信号,控制黑盒层次结构内的寄存器和组合逻辑。

此问题的解决方法是在设计的设置模式期间添加以下命令。此命令指示Conformal忽略由附加端口引起的错误。

set rule handling HRC3.3 -ignore

有关使用Conformal进行形式验证的更多信息,请参考Quartus II手册第3卷中的Cadence Encounter Conformal Support (PDF)章节。

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

提问于 2018-08-06 16:53:31 +0800

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

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