Engineers in a lab reviewing a holographic neural network above a chip, representing AI-assisted chip design and verification

EDA Solutions

NanDigits

The GOF family: netlist ECO that is both fast and verifiable

ECO
LEC
Formal
ISO 26262
AI Agent

NanDigits GOF targets the part of the back end most likely to go wrong: netlist ECO. Functional ECO, schematic debug, RTL-to-netlist equivalence checking and ISO 26262-compliant formal fault coverage together close the loop.

Products & capabilities

NanDigits portfolio

Netlist ECO

GOF ECO

Functional netlist ECO, applying design changes directly at gate level.

Debug

GOF Debug

Schematic viewing and debug, with ECO applied on the fly during the debug session.

Equivalence checking

GOF LEC

An RTL-to-netlist equivalence checker that confirms function is preserved after ECO.

Formal verification

GOF Formal

Formal fault coverage analysis, compliant with the ISO 26262 standard.

AI collaboration

AI ECO environmentNew

Runs GOF inside agentic AI CLIs such as Claude Code, Codex and opencode.

GOF ships a SKILL.md skill file that teaches your agentic AI CLI to drive netlist ECO, LEC and debug directly

Want to know more about NanDigits?

We can arrange a vendor technical briefing, an evaluation licence and a deployment plan to get your team productive quickly.