当黄金VQM网表包含lpm_mult宏功能时，为什么正式验证软件显示不匹配？

当黄金网表包含在逻辑中实现的lpm_mult宏功能且lpm_pipeline参数大于0时，会发生不匹配。

在^Quartus®II软件实现逻辑，而不是在下列情况下一个DSP块lpm_mult宏功能：

• 该设计针对的是没有DSP模块的器件，例如Cyclone ^™器件。
• 黄金设计中的lpm_mult宏功能的数量大于目标器件中可用DSP模块的数量。
• 您指定在逻辑中实现lpm_mult宏功能。

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

有关形式验证的更多信息，请参考Quartus II手册第3卷中的形式验证部分。