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

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

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

set rule handling HRC3.3 -ignore

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