当您向 ALTGXB 或 ALT2GXB 实体应用黑盒分配以使用 Cadence LEC 进行正式验证时,Quartus® II 软件版本 7.1 及更早生成此错误。
为了避免此错误,为每®生成的自®自定义宏功能变体文件或包装文件创建黑盒,这些文件实例化 ALTGXB 或 ALT2GXB 宏功能。然后重新编译设计。
此问题计划在 Quartus II 软件的未来版本中解决。
有关创建黑盒进行正式验证的更多信息,请参阅Quartus II 手册卷 3 中的Cadence Encounter Conformal Support (PDF)章节。