Release Date: Sep 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 gof1110_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: 36cb1715764dcaefbc5e2f1ddcba0b75For RHEL6/Centos6
ID: 4bea66a81459d6cf3835bc2651110b92Warning! RHEL6/Centos6 version doesn't support RTL Guided ECO and RTL to Netlist LEC
For Windows Subsystem for Linux
ID: de38b42991381abe7c9fc666a81f6177GOF 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