Release Date: Jul 26 2026
GOF Platform integrates five functional components, ECO, Formal, LEC, Debug and AI.
Once downloaded, run a real ECO immediately. The bundled examples work in free mode.
The examples/auto_eco folder compares a reference netlist against an implementation and writes the ECO result. Zero dependencies.
tar xzf gof119_centos7.tar.gz cd GOF && make cd examples/auto_eco ../../bin/gof -run eco_example.pl
The ECO'd netlist is written to imp_eco.gv.
The examples/ai_eco folder runs an ECO from a plain-English spec. Install the shipped SKILL.md in your AI CLI (Claude Code, Codex, opencode, Kimi, or Cline), then type the ECO request in natural language. The skill guides the CLI to launch the GOFAI server, create the ECO script, and run it with GOF automatically.
# In your AI CLI (with SKILL.md installed): Use GOF to do eco spec file $GOFDIR/examples/ai_eco/eco_spec1.txt
See the GOF AI workflow and SKILL.md in the release.
For RHEL7/RHEL8 Centos7/Centos8 and up
ID: 9e4926082d25de38e659d09c4de776f0For RHEL6/Centos6
ID: 1612f5f74c3f374cf04af6b8c647465aWarning! RHEL6/Centos6 version doesn't support RTL Guided ECO and RTL to Netlist LEC
For Windows Subsystem for Linux
ID: b6ce5d84f6893b8a1a7d009d14c5a56eGOF License Manager Daemon
ID: e88a338c717fbcab6ca7cf21e28aee3bFor production-size designs over 500K bytes. The tool runs free below that limit.
Complete the form to request an evaluation license
