Digital Design Studio 中的 ISA 工作流程

Digital Design Studio 2.0.2: Digital Design Studio 中的 ISA 工作流程。使用前請確認所選主機、帳戶權限與目前支援範圍。

在 Digital Design Studio 的 Flow Navigator 中開啟 ISA 設計。2.0.2 原始程式碼支援 RISC-V 匯入以及 RV64、IM 與 A 設定檔。在儲存產生的產物之前,請先檢閱選取的設定檔與診斷。詳細闡述、組裝、執行、協同模擬、形式驗證檢查與模型載入仍取決於實際主機所公開的操作;匯入支援並不會在 Windows 或 Cloud 上啟用每一項 ISA 動作。

Overview

ISA 設計是 Digital Design Studio 的一部分,並非獨立應用程式。在用於 RTL 編輯與分析的同一專案工作區中,於 ISA 設計 所屬的 Flow Navigator 開啟此功能。

開啟 ISA 工作流程

  1. 開啟 Digital Design Studio,並選取預期的專案。

  2. 展開 ISA 設計 所屬的 Flow Navigator。

  3. 選擇編寫、指令、RTL 產生、執行、效能或驗證。

  4. 開啟所需功能。其編輯器分頁使用功能名稱,而非重複一般性的 ISA 標題。

  5. 在期待大綱、指令表或編碼結果前,先建立或選取專案的架構原始碼。

空白專案不應被理解為包含內建架構。可見功能是導覽項目,不代表引擎已啟用。

左側面板功能

階段

功能

建模

大綱、指令、架構狀態、編碼、opcode 對應、組譯器/反組譯器、管線、設定與變更比較

產生

RTL、指令集模擬器、編譯器相關輸出與匯出

探索

設計空間變體

執行

程式執行與共用 Event Trace 的捷徑

分析

結構設定檔與 PPA 估算

驗證

協同模擬、驗證、形式檢查與簽核審閱

工作區工具

模型庫與參考資料

使用搜尋欄位縮小清單。「全部展開」與「全部收合」作用於階段群組。選取項目會開啟該功能,不會提交作業。

原始碼與專案設定

ISA 原始碼、專案設定、產生的輸出與驗證證據都屬於選取的 Digital Design Studio 工作區。在展開或匯出前,請儲存明確的原始碼變更。主機提供原始碼動作時,ISA 面板提供 Save、Elaborate 與 ISA 專屬專案設定。

2.0.2 中無法載入 Library 模型;Library 僅插入 CX 程式碼片段。請保留未儲存的工作,並在接受替換之前檢閱模型。範本是明確的起點,而非目前專案的結果。

審閱指令與編碼

儲存作用中的 CX 原始程式碼後,開啟 Instructions。針對使用者定義的群組使用 Declared categories,或針對結構群組使用 Encoding width / format。參照該確切原始程式碼的詳細闡述來閱讀該表格。

將原始碼修訂版、選取目標、引擎版本、輸入範例與傳回成品一併保留。有資料的表格本身不是驗證證據,估算也不是實測的實作結果。

Event Trace 與 Analysis 共用

在 Analysis 底下只有一個 Event Trace 檢視器。ISA Event Trace 項目是連往該共用檢視器與相關執行的捷徑,並非第二個時間軸。若無相容的執行成品,就無法顯示實測追蹤。

可用性與遷移

ISA 使用 Digital Design Studio 介面、設定、分頁與底部面板。整合工作流程不需要安裝獨立 ISA 應用程式,也沒有另一個主編輯器 AI 聊天檢視。

使用 Add category 與 Add subcategory 來組織宣告。New instruction 與 Duplicate instruction 會建立草稿;在 Apply to CX 之前請檢閱名稱、組譯助憶碼與編碼。修改過的原始程式碼或唯讀文件可能會停用 Apply。

舊版獨立 ISA 安裝及其應用程式資料屬於舊版資料。遷移前,將現有 CX 原始碼保留為使用者掌控的檔案。請勿將憑證、機器授權或隱藏的裝置信任狀態複製至新工作區。請參閱 本機工作區 和 首次啟動與帳戶存取。

相關指南

從模型到經檢查的輸出

使用 Verify model 請求對目前緩衝區進行詳細闡述。依照顯示內容讀取待處理、不可用以及失敗的檢查;整個模型的檢查並不構成對每個指令行單獨的證明。

  1. 儲存架構原始程式碼並選擇預期的 ISA 設定。

  2. 在閱讀指令與編碼檢視之前,請先解決剖析/詳細闡述診斷。

  3. 僅產生目前主機支援的輸出。將產生的產物與原始程式碼分開儲存。

  4. 使用已知的指令與預期的編碼來驗證組譯器/反組譯器的行為。

  5. 隨原始程式碼修訂版本保留執行與驗證結果;透過共用的 Analysis Event Trace 開啟相容的事件。

Windows 應用程式隨附的 alti CLI 是用於專案初始化。alti isa … CLI ISA commands 需要 CX 引擎(alti-cx),而 Windows 應用程式並不包含此引擎。輸出格式與功能屬於已安裝的 CLI 版本。

Using Digital Design Studio 2.0.2

解碼器匯出需要目前的詳細闡述及其靜態檢查。檢閱選取的語言與原始欄位對應,然後個別保留匯出的檔案。編輯原始程式碼會使先前的匯出失效;這並非執行等效性的證明。

2.0.2 環境支援