使用 Evolve 分析已儲存的 RTL

執行本機的專用 RTL 分析器,並讀取特定目標的結構佐證。

此本機工作流程使用 Linux 上的 Altifigence CLI 0.1.9。

讀取已儲存的結果之前,請先確認結束狀態為 0。另行保留標準錯誤輸出,並檢查下文說明的結果欄位。

儲存小型 RTL 模組

將下列模組儲存為專案目錄中的 buffer.sv。在接下來的命令中使用實際的專案絕對路徑。analyze 作業會讀取已儲存的模組,並選取指定的 top 與目標。先使用 generic-asic,讓第一次執行聚焦於這個小型組合邏輯設計的原生結構分析。

module buffer(input logic a, output logic y);
  assign y = a;
endmodule

執行專用分析器

alti evolve capabilities
alti evolve analyze --project /absolute/project buffer.sv --top buffer --target generic-asic > buffer-analysis.json

命令完成後開啟 buffer-analysis.json。明確指定目標會產生 altifigence.rtlAnalyze.multiTarget.v1 封裝。請讀取 targets 和 primary 以確認所選的設定檔,再將 per_target 與共用的 schematic、roofline、tool_inputs 及任何 notes 一併檢查。比較修訂版本時,請保留完整封裝,讓每個指標持續對應其目標與支持佐證。

{"schema_version":"altifigence.rtlAnalyze.multiTarget.v1","targets":["generic-asic"],"primary":"generic-asic"}

輸出區塊顯示部分識別欄位。完整分析包含目標指標向量與結構產物。在比較中使用各個指標之前,請先讀取其附帶的可用性與診斷資訊。將原始碼檔案與分析結果一併儲存,以便將結果對應至正在審查的確切模組修訂版本。

選取既有的原始碼檔案

在模組引數中使用 missing.sv,會使原生分析器輸出 module not found: missing.sv。請選取上方專案中已儲存的 buffer.sv 檔案,維持 --top buffer,並重新執行下列命令。讀取新的目標結果,並將完整的成功封裝與該原始碼修訂版本一併保留。

alti evolve analyze --project /absolute/project buffer.sv --top buffer --target generic-asic > buffer-analysis.json