白皮書

Questa FPGA 等效重新定向流程

將過時的 FPGA 轉移到新技術中

Questa™ Equivalent 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 比較的等效
性。

Share

相關資訊