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

为什么当黄金 VQM 网络列表包含lpm_mult的超级功能时,正式验证软件会显示不匹配?

环境

  • 验证
  • DSP
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    说明

    当黄金网络列表包含一个 在lpm_pipeline 参数大于 0 的逻辑中实现 的lpm_mult 兆功能时,会出现不匹配的情况。

    在以下情况下,Quartus® II 软件在逻辑中(而不是 DSP 模块)实施 lpm_mult 兆功能:

    • 该设计针对一个没有 DSP 模块的设备,如Cyclone™ 设备。
    • 黄金设计中的 lpm_mult 大功能数量大于目标设备中可用 DSP 模块的数量。
    • 您指定 该lpm_mult 兆功能在逻辑中实现。

    要解决此问题:
    如果您在 RTL 代码中实例化了lpm_mult兆功能,请将黑盒属性应用到实例化 lpm_mult 兆功能的模块中。如果您的合成工具推断出lpm_mult宏功能,在乘法器周围创建一个包装器文件,然后将黑盒属性应用到包装器模块中。

    有关正式验证的更多信息,请参阅 Quartus II 手册卷 3 中的"正式验证"一节。

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