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

为什么在正式验证过程中遇到一致性会报告未定义的设计实体?

环境

  • 验证
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    说明 如果设计网络列表中的设计实体名称与正式验证库中实体的情况不匹配,Encounter Conformal 的正式验证工具可能会报告此错误。

    例如,设计(包括大写LPM_MULT兆功能)会导致以下错误:
    // Running Conformal on the design gives the following errors.
    // Error:: Design unit 'LPM_MULT' is referenced but not defined

    在此示例中,后期合成设计网络列表 LPM_MULT 包含大写中的名称。由于所有Altera兆功能的正式验证库模型均为小写的,因此,Encounter Conformal 无法 LPM_MULT 在库中找到大写字母模型。

    要纠正此问题,将后期合成设计网络列表中的名称从大写字更改为小写(在此示例中,请将名称更改为 lpm_mult )。

    有关使用一致性进行正式验证的更多信息,请参阅Quartus II 手册卷 3 中的Cadence Incisive 一致性检查器支持(PDF) 一章。

    相关产品

    本文适用于 1 产品

    Stratix® FPGAs

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