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

当您在Cyclone®或Cyclone II设计中具有灵活的LVDS功能时，您可能会在使用Cadence Conformal LEC工具进行形式验证时出现不匹配。当在设计中实例化的LVDS接收器具有奇数反序列化因子时，会出现问题。

Quartus®II软件使用altsyncram宏功能来实现这些LVDS功能。在综合期间使用的altsyncram宏功能不被视为用于形式验证的黑盒子，导致形式验证网表文件（* .vo）中的许多寄存器导致Conformal LEC中的黄金和修订网表之间的不匹配。

要避免此问题，请使用以下步骤为altsyncram实体创建一个黑盒子，该实体是为LVDS函数推断的。

1. 在Quartus II Project Navigator窗口中找到相应的altsyncram函数
2. 为每个模块添加Preserve Hierarchy和黑盒分配。例如，对于包含名为altsyncram_l7v的altsyncram函数的设计，这些赋值在Quartus II设置文件（* .qsf）中创建以下Tcl命令：

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