说明
您可能会在 Cadence Encounter Conformal 软件中收到错误，例如"错误：模块端口的方向"rx_datain"，模块中的"alt2gxb"未定义"。如果用于正式验证的黑盒与 Quartus® II 修订网络列表中的一个模块相对应，则会出现此错误。该网络列表实例化了其他低级别模块。在这种情况下，您必须指示正式验证工具不要解析修订后的网络列表中的低级别模块。
为了避免此问题，在 Quartus II 软件生成的正式验证脚本文件中添加以下关于黑盒包装器的命令：add no translate 黑盒模块名称> -both