文章 ID: 000079963 內容類型: 疑難排解 最近查看日期: 2012 年 09 月 11 日

為什麼當黃金級 VQM 網路清單包含lpm_mult兆功能時,正式驗證軟體會顯示不匹配?

環境

  • 驗證
  • DSP
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    描述

    當黃金網路清單包含 邏輯 中實lpm_pipeline參數大於 0 的 lpm_mult 兆功能時,就會發生不匹配。

    Quartus® II 軟體在邏輯中執行 lpm_mult 兆功能,而不是在下列情況下的 DSP 模組:

    • 此設計針對沒有 DSP 模組的裝置,例如Cyclone 裝置。
    • 黃金級設計中的 lpm_mult 兆功能數量大於目標裝置中可用的 DSP 模組數量。
    • 您指定在邏輯中實用 lpm_mult 兆功能。

    若要解決此問題:
    如果您將 RTL 代碼中的lpm_mult兆功能立即化,請將黑匣屬性套用至立即lpm_mult兆功能的模組。如果您的合成工具推斷出lpm_mult兆功能,請在倍增器附近建立包裝檔,並將黑匣屬性套用至包裝模組。

    如需正式驗證的詳細資訊,請參閱 Quartus II 手冊 第 3 冊中的正式驗證區段。

    這個頁面的內容綜合了英文原始內容的人工翻譯譯文與機器翻譯譯文。本內容是基於一般資訊目的,方便您參考而提供,不應視同完整或準確的內容。如果這個頁面的英文版與譯文之間發生任何牴觸,將受英文版規範及管轄。 查看這個頁面的英文版。