Release Date: Jun 29 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 gof118_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 via GOF's AI agent (Claude Code, Codex, or opencode).
# Launch the GOFAI server once: # $GOFDIR/scripts/gofai_server.py --platform claude --model <model> # Submit an ECO spec in plain English: $GOFDIR/scripts/gofai_client.py "Do netlist eco spec $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: c793faa1494861db578510841d97d3cbFor RHEL6/Centos6
ID: e297756535644e5ac6df4652825efeafWarning! RHEL6/Centos6 version doesn't support RTL Guided ECO and RTL to Netlist LEC
For Windows Subsystem for Linux
ID: 58de5e1eecb7b6d0714b766bdf0ca29fGOF 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