Questa™ Equivalent FPGA 重新定向解決方案,能將採用過時的現場可編程閘陣列 (FPGA) 的系統設計,重新定向到較新的技術中。如此不但能延長這些設計的生命周期,還能利用最新的安全、資安和省電等項功能。
本文將逐步說明各種使用案例中多種重新定向的方法,且假定讀者熟悉如何使用 Siemens EDA 的 Questa™ Equivalent FPGA 等效性檢查流程的基本知識。
使用新的流程設定命令並加入 Questa Equivalent
FPGA,可支援對 RTL 與過時 netlist 的比較驗證,
並支援爲過時 device 準備的形式模型,如此 Questa
Equivalent FPGA 即可證明 RTL 與過時 netlist 比較的等效性。
使用新的流程
設定命令並加入 Questa Equivalent FPGA,可支援對過時 netlist 與最終 netlist 的比較驗證,並支援爲過時及新的 device 準備的形式模型,如此,Questa
Equivalent FPGA 即可證明過時 netlist 與使用 RTL 合
成的全新 netlist 比較的等效性。
在證明 RTL 與新 netlist 比較的等效性後,下一步即是證明具有過時 IP 的 RTL 與過時 netlist 比較的等效
性。