Netlist ECO
GOF ECO
自動化功能性 ECO 工具，以參考 netlist 修正實作 netlist，支援 RTL 導引 ECO 以避免重新合成。內建邏輯等效檢查引擎可自主驗證，並支援 metal-only ECO（後光罩、spare cell），提供三種自動化修正方法將變更幅度降到最小。
前往官網
EDA 解決方案
NanDigits
GOF 系列：把 netlist ECO 做到又快又可驗證
NanDigits 開發 GOF，一套 AI 驅動的 netlist ECO 平台。工程師可用自然語言描述設計變更，由 AI Agent 自動實作與驗證，把原本耗時數小時的手動 ECO 工作壓縮到幾分鐘。從功能性 ECO、原理圖除錯、RTL 對 netlist 的等效檢查，到符合 ISO 26262 的形式化故障覆蓋分析，形成完整閉環。
前往官網
產品與功能
NanDigits 產品線
除錯
GOF Debug
互動式 netlist 轉原理圖除錯環境，可在 buffer/inv bypass 模式下追蹤驅動與負載，支援時脈與重置樹分析、fanin/fanout cone 視覺化，並可直接在原理圖上點擊修改 netlist，免文字編輯、免重新合成。
前往官網
等效檢查
GOF LEC
內建邏輯等效檢查器，支援 Netlist-to-Netlist（前後佈局比對）與 RTL-to-Netlist（RTL 對合成後 netlist）兩種模式，支援 SystemVerilog 2017 與標準元件庫，確保 ECO 後功能維持一致。
前往官網
形式驗證
GOF Formal
以形式化方法計算 SPFM 與 LFM 故障覆蓋指標，符合 ISO 26262 各 ASIL 等級門檻（如 ASIL D 需 SPFM ≥99%、LFM ≥90%）。免建立 testbench 即可自動產生所需輸入，並支援叢集運算平行處理，鎖定車用 IC 的功能安全驗證。
前往官網
AI 協作
AI ECO 環境New
讓 GOF 可以在 Claude Code、Codex、opencode 等 agentic AI CLI 中執行，AI Agent 透過查詢 GOF 原理圖引擎理解 netlist 拓樸，沿邏輯錐反向追蹤找出最佳插入點，把 RTL 意圖對應到實際閘級實作。
- GOF 隨附 SKILL.md 技能檔，教會 AI CLI 如何直接驅動 netlist ECO、LEC 與除錯流程
想深入了解 NanDigits？
我們可以安排原廠技術簡報、評估授權（evaluation）與導入規劃，協助您的團隊快速上線。