01
GOF ECO
通过 RTL 引导、脚本驱动及备用单元映射等流程,生成网表功能补丁。
统一的 GOF 平台
围绕同一门级设计开展 ECO、验证和调试,从适合您当前流程的能力开始。
通过 RTL 引导、脚本驱动及备用单元映射等流程,生成网表功能补丁。
将自然语言需求转化为 GOF 脚本,为 ECO 和调试引入 AI 辅助。
通过增量式原理图追踪逻辑,定位和分析非等价点。
使用 GOF LEC 检查逻辑等价性,使用 GOF Formal 开展功能安全故障分析。
一起解决您的 ECO 问题
与 NanDigits 工程师讨论设计阶段、实际约束和验证目标。