Design Vision
目的與配置
DC 圖形化設計檢視與綜合互動。請使用 Design Compiler 進行可重複的無頭綜合；Design Vision 則適用於層次結構、時序與原理圖的調查。
從使用者配置的環境或工具設定檔中解析 design_vision。
發現實際的發行版本、支援的選項、授權與本地文件。
使用環境發現；請勿假設特定的安裝目錄、帳戶、授權端點或啟動 shell。
將安裝清單、日誌與文件索引保存在私有本地狀態中。
調用與指令慣例
直接從準備好的環境中使用配置的可執行檔。保留其包裝檔名；變更分發程式的調用名稱可能會選到不同的產品。確認該發行版本文件中的互動與批次慣例。本參考資料提供的指令候選項，不代表它們存在於每個發行版本中。
design_vision -f design.tcl
對於支援的階段腳本，flow.py 會捕獲指令、狀態、日誌、工件與檢查點，無需使用 shell 包裝器。工具可能提供具有不同語意但標誌類似的原生介面。
輸入與輸出
DC .ddc 或支援的 RTL/網表，需搭配匹配的函式庫、SDC 與設計設定；以及一個用於 GUI 使用的可用顯示器。使用檢查點的副本進行探索性編輯。
與 DC 相容的設計檢查點、報告與階段日誌；明確匯出的 GUI 工件（如果支援）。請勿在檢查時覆寫已接受的綜合檢查點。
階段操作
在構造新指令之前，檢索已安裝的指令語法、參數類型、預設值、限制、範例、功能需求與設計狀態先決條件。識別每個操作是查詢狀態、更新衍生狀態、修改設計或是匯出工件。
| 階段 | 指令或原生程序 | 先決條件與檢查 |
|---|---|---|
| 載入/檢查 | read_ddc current_design report_hierarchy report_timing | 使用與已保存設計匹配的綜合函式庫/約束上下文。 |
| 綜合 | analyze elaborate compile | 將可重複的綜合與形式閘級驗證委派給 synopsys-design-compiler。 |
| 保存 | write_file write_sdc | 將任何設計修改視為需要驗證的新候選項。 |
Tcl、檢查與文件
DC 設計/集合指令適用於有文件記錄之處：current_design、get_designs *、report_hierarchy、report_timing、report_area 與 check_design。特定於 GUI 的 API 必須另行查詢。
對於 Tcl 介面，將路徑/參數構造為 Tcl 列表，使用支援的集合 API 處理集合，捕獲錯誤並檢查明確的指令回傳值。語法有效的 Tcl 檔案並不能保證指令可用。對於原生驅動程式，請使用其有記錄的輸入格式。
python3 scripts/docs.py search '' --tool design-vision --limit 20
# 當有多個匹配項目時，選擇已安裝的版本/安裝。
# 使用以下方式檢索回傳的條目：python3 scripts/docs.py show DOCUMENT_ID
這些範例從套件目錄執行。請參閱指令發現以了解私有索引建立、有界檢索、執行時期可用性與生命週期檢查。一個手冊條目可能描述一個變數或診斷訊息，而非可呼叫的指令。缺乏文件仍然是選擇不支援指令的障礙。
受控參數與依賴項
綜合設定遵循 DC 政策。GUI 顯示/佈局設定僅供觀察；任何映射的設計編輯都會使下游的等效性檢查與物理驗證失效。
相同的 DC 發行版本/資料庫/函式庫上下文；GUI 函式庫/顯示可能獨立於 dc_shell 而失敗。使用確切的包裝名稱，因為它選擇了產品特性。
記錄原始/提議值、報告支援的假設、手冊參考資料、有效階段與預期指標。使用優化進行有界比較，並確保功能不變與硬性約束。
故障恢復與驗證
將顯示/GUI 設定錯誤與綜合錯誤分開診斷。保留包裝名稱與設計/函式庫上下文。任何設計編輯都需要新的綜合/形式驗證證據，才能進行下游推廣。
捕獲指令/狀態、內部日誌、報告與狀態/檢查點識別資訊。分類原因，查閱相關的已安裝文件，並應用干擾最小的合理修正。還原最後一個有效傳入檢查點的可寫副本，並重新執行受影響的階段。在保留變更之前比較已驗證的指標；保留被拒絕的嘗試。使用故障排除進行恢復決策。
功能變更需要明確授權。請勿放寬時序需求、移除必要的約束或繞過驗證來報告成功。當沒有合理的修正方案或配置的預算耗盡時停止，並報告需要哪些輸入或環境修復。
模板與驗收標準
根據要求的範圍檢查實際輸出與特定產品的報告。對於綜合/實現，需要映射/連結的工件與保留的約束；在轉換後重新驗證功能。對於驗證，需要完整的覆蓋率與乾淨的必要檢查。對於模擬/除錯，需要預期的任務/測試能完成並附上已審查的診斷資訊。
將文件驗證、Tcl 語法檢查、工具執行、階段驗收與端到端簽核證據分開存放。生成的流程並非經過驗證的實現。請參閱執行合約與驗證範圍以了解所需的證據邊界。