This site is hopefully a springboard for others to learn about coding in System Verilog and experimenting with FPGAs.
Agent Claude Code
Writes cocotb testbenches under val/ for this repo using the RDS-DV framework BFMs. Use for new tests, coverage closure, and reproducing a failing seed. Does not modify RTL.
Agent Claude Code
Writes and runs SymbiYosys formal properties under formal/ for this repo. Use for proving contracts, CDC and sizing invariants, and for explaining counterexamples. Treats a vacuous pass as a failure.
Agent Claude Code
Runs regressions for this repo and triages the failures into RTL defect, test defect, flake or infrastructure. Use for suite runs, failure triage and quarantine decisions. Routes findings; does not fix them.
Agent Claude Code
Writes and modifies synthesizable SystemVerilog under rtl/. Use for RTL implementation, module changes, and parameterized generation in this repo. Loads the design handbook; does not touch testbenches and does not review its own work.
Agent Claude Code
Read-only SystemVerilog reviewer for this repo. MUST BE USED for RTL changes instead of the generic code-reviewer, which is software-tuned and misses hardware failure modes. Reports findings and changes nothing.
Agent
The five repo-resident agent roles, what each may touch, and the stub that makes it discoverable. Roles are scoped to this repo, never to the machine.
Agent
The role that writes testbenches. Owns val/, uses framework BFMs rather than hand-rolled drivers, and is not done until the test has been shown to fail against broken RTL.
Agent
The role that writes and runs formal properties. Owns formal/, and treats a vacuous pass as a failure - a property that cannot fail has proven nothing.
Agent
One working tree, several agents - the four ways uncommitted state crosses agent boundaries, and the staged-set check that actually holds.
Agent
The role that runs regressions and triages failures. Produces verdicts and quarantines, never fixes - and never reports a verdict that a clean rebuild has not reproduced.
Agent
The role that writes RTL. Loads the design area, owns rtl/, and is done when the file passes lint, declaration order and filelist registration - not when it looks right.
Agent
The read-only role that judges RTL it did not write. Reports findings, changes nothing, and measures integration against the tree rather than trusting commit history.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: