codejunkie99/Gateflow-Plugin

AI-powered SystemVerilog development assistant — design, verify, debug, and deliver working RTL with natural language.

109Stars on the repository
64Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied

gf-fix

07

codejunkie99/Gateflow-Plugin

Command

Automatically fix lint errors in a SystemVerilog file using iterative lint-fix cycles.

109 3mo ago A 6 tokens

gf-formal

09

codejunkie99/Gateflow-Plugin

Command

/gf-formal rtl/fifo.sv # Auto-generate and prove properties /gf-formal rtl/fifo.sv --property "never overflows" # Prove specific property /gf-formal formal/fifo.sby # Run existing .sby config.

109 3mo ago A 7 tokens

gf-ip

12

codejunkie99/Gateflow-Plugin

Command

/gf-ip list # Show all available IP blocks /gf-ip info fifosync # Show block details and ports /gf-ip add fifosync # Install block into current project.

109 3mo ago A 7 tokens

gf-map

14

codejunkie99/Gateflow-Plugin

Command

Generate a comprehensive map of a SystemVerilog codebase with parallel analysis agents.

109 3mo ago A 6 tokens