当设计中有灵活的 LVDS 功能时，为什么在"正式验证"中会出现不匹配？

如果您在Cyclone®或Cyclone II 设计中具有灵活的 LVDS 功能，则在正式验证 Cadence 一致性 LEC 工具时可能会出现不匹配。当设计中的 LVDS 接收器实例化有一个奇数解算因子时，系统便会出现此问题。

Quartus® II 软件对这些 LVDS 功能使用 altsyncram 兆功能。合成过程中使用的 altsyncram 兆功能不被视为用于正式验证的黑盒，导致正式验证网络列表文件 （*.vo） 中的许多寄存器导致一致性 LEC 中的黄金网络列表和修订网络列表不匹配。

为了避免此问题，请通过以下步骤为推断为 LVDS 函数的 altsyncram 实体创建一个黑盒。

1. 在 Quartus® II 项目导航器窗口中查找相应的 altsyncram 函数。
2. 为每个模块添加保留层次结构和黑盒分配。例如，这些分配在 Quartus II 设置文件 （*.qsf） 中创建了以下 Tcl 命令，用于包含称为 altsyncram_l7v 的 altsyncram 功能的设计：

• set_instance_assignment -name PRESERVE_HIERARCHICAL_BOUNDARY FIRM -to | -entity altsyncram_l7v
• set_instance_assignment -name EDA_FV_HIERARCHY BLACKBOX -to | -entity altsyncram_l7v

• 重新编译设计。