Netlist ECO
GOF ECO
功能性 netlist ECO 工具，直接在 gate-level 上完成設計變更。
EDA 解決方案
NanDigits
GOF 系列：把 netlist ECO 做到又快又可驗證
NanDigits 的 GOF 系列專注在後端最容易出事的環節——netlist ECO。從功能性 ECO、原理圖除錯、RTL 對 netlist 的等效檢查，到符合 ISO 26262 的形式化故障覆蓋分析，形成完整閉環。
產品與功能
NanDigits 產品線
除錯
GOF Debug
原理圖檢視與除錯環境，可在除錯過程中即時進行 ECO。
等效檢查
GOF LEC
RTL 對 netlist 的等效性檢查器，確保 ECO 後功能維持一致。
形式驗證
GOF Formal
以形式化方法進行故障覆蓋率分析，符合 ISO 26262 標準要求。
AI 協作
AI ECO 環境New
讓 GOF 可以在 Claude Code、Codex、opencode 等 agentic AI CLI 中執行。
- GOF 隨附 SKILL.md 技能檔，教會 AI CLI 如何直接驅動 netlist ECO、LEC 與除錯流程
想深入了解 NanDigits？
我們可以安排原廠技術簡報、評估授權（evaluation）與導入規劃，協助您的團隊快速上線。