当我的设计中有灵活的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
  • 重新编译设计。
  • 编辑 重设标签(回车键确认) 标为违禁 关闭 合并 删除

    提问于 2018-08-03 21:58:39 +0800

    这个帖子被标记为一个社区wiki

    这个帖子是一个wiki(维基). 任何一个积分 >500的人都可以完善它