白皮書
Questa FPGA 等效重新定向流程
將過時的 FPGA 轉移到新技術中
本文將逐步說明各種使用案例中多種重新定向的方法,且假定讀者熟悉如何使用 Siemens EDA 的 Questa™ Equivalent FPGA 等效性檢查流程的基本知識。
使用案例 1:與 RTL 的等效性
使用新的流程設定命令並加入 Questa Equivalent FPGA,可支援對 RTL 與過時 netlist 的比較驗證, 並支援爲過時 device 準備的形式模型,如此 Questa Equivalent FPGA 即可證明 RTL 與過時 netlist 比較的等效性。
使用案例 2:RTL 重新定向
使用新的流程 設定命令並加入 Questa Equivalent FPGA,可支援對過時 netlist 與最終 netlist 的比較驗證,並支援爲過時及新的 device 準備的形式模型,如此,Questa Equivalent FPGA 即可證明過時 netlist 與使用 RTL 合 成的全新 netlist 比較的等效性。
使用案例 3:RTL-RTL 重新定向
在證明 RTL 與新 netlist 比較的等效性後,下一步即是證明具有過時 IP 的 RTL 與過時 netlist 比較的等效 性。