文章 ID: 000078329 内容类型: 故障排除 上次审核日期: 2021 年 08 月 27 日

为什么在正式验证设计(包括lpm_counter大功能)时遇到一致性不匹配?

环境

  • Verification
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    说明

    对设计进行正式验证,包括使用lpm_counter宏功能(aset、aclr、aload)的两或多个异步控制信号时出现lpm_counter大功能。

    为消除这些不匹配问题,在编译设计之前,将黑盒属性应用到 Quartus ® II 软件中的lpm_counter兆功能包装器上。

    有关使用一致性进行正式验证的更多信息,请参阅Quartus II 手册卷 3 中的Cadence Encounter Conformal Support (PDF)章节。

    本页面上的内容是原始英文内容的人工翻译与计算机翻译的组合。我们提供此内容是为了您的便利并且仅供参考,未必完整或准确。如果本页面的英文版与翻译版之间存在任何冲突,应以英文版为准。 查看此页面的英语版本。