codejunkie99/gf-synth
plugins/gateflow/skills/gf-synth/SKILL.md
Synthesize SystemVerilog/Verilog with Yosys. Reports area, timing, and resource utilization. Warns about unsupported SV constructs. Example: "synthesize my design for iCE40"
$ install --global
skillsauthnpx skillsauth add codejunkie99/gateflow-plugin gf-synthInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Apr 4, 2026, 10:56 AM30.0s1 file scanned
SKILL.md
- name:
- gf-synth
- description:
- >
- Example:
- synthesize my design for iCE40
GF-Synth — Yosys Synthesis Skill
Tool Detection
which yosys
If not found:
---GATEFLOW-RESULT---
STATUS: ERROR
DETAILS: Yosys not installed. Install to enable synthesis.
macOS: brew install yosys
Linux: sudo apt install yosys
---END-GATEFLOW-RESULT---
Pre-Synthesis SV Subset Check
Before synthesis, scan for unsupported constructs:
grep -rn "^\s*interface\s\|^\s*modport\s\|^\s*class\s\|^\s*bind\s" <files>
If found, warn user. Do NOT proceed — it will produce confusing errors.
Workflow
- Check project context (
.gateflow/project.yaml) for target - Pre-synthesis lint for unsupported SV constructs
- Map board to Yosys synth target
- Run synthesis via sv-synth agent or directly
- Parse stat output for LUT/FF/BRAM/DSP
- Report structured result
Result Format
---GATEFLOW-RESULT---
STATUS: PASS | FAIL | ERROR
RESOURCES:
LUTs: N
FFs: N
BRAM: N
DSP: N
TARGET: ice40 | ecp5 | gowin | xilinx | generic
FILES: [synth output files]
DETAILS: [summary or error explanation]
---END-GATEFLOW-RESULT---
Related Skills
codejunkie99/gf-release
tools
VerifiedTrustedCommunity
GateFlow release readiness workflow. Validates plugin manifests, marketplace metadata, docs index coverage, root mirrors, release notes, and component counts before a version tag is created. Use when preparing, checking, or cutting a GateFlow plugin release.
76SKILL.mdUpdated May 21, 2026
codejunkie99/tb-best-practices
testing
VerifiedTrustedCommunity
Testbench verification best practices and patterns. This skill should be used when the user needs testbench architecture guidance, verification methodology, or wants to write professional-quality testbenches. Example requests: "testbench best practices", "how to structure TB", "verification patterns"
63SKILL.mdUpdated Apr 4, 2026
codejunkie99/gf
testing
VerifiedTrustedCommunity
Primary SystemVerilog/RTL orchestrator for GateFlow. Routes to specialist agents, runs verification, and iterates until working. Use when the user wants to create, test, fix, or implement any RTL design — FIFO, UART, AXI, state machines, or any digital hardware module.
63SKILL.mdUpdated Apr 4, 2026
codejunkie99/gf-viz
development
VerifiedTrustedCommunity
Terminal visualization for GateFlow codebase maps. Renders module hierarchies, FSM state diagrams, and module detail cards as interactive ASCII/Unicode art. Example requests: "visualize the codebase", "show hierarchy", "show FSM", "show module detail"
63SKILL.mdUpdated Apr 4, 2026