rtl agents

70 tagged rtl, measured the same way as everything else here.

Browse within: codec 57hardware 57harness 57verification 57amba-apb 12amba-axi 12cocotb 12crossbar 12system-verilog 12

babyworm/rtl-agent-team

Agent

Phase 1 research pipeline orchestrator. Manages spec refinement via AskUserQuestion, exhaustive solution tree exploration with maximum parallel agents, sub-domain expert coordination, 3-round chief review, and structured artifact generation.

50 8d ago A 50 tokens original MIT

babyworm/rtl-agent-team

Agent

Phase 1 research team coordination teammate. Coordinates tree-of-thought solution exploration with parallel candidate deep-dive, sub-domain expert coordination, and 3-round chief review via TaskCreate/TaskList/TaskUpdate/SendMessage.

50 8d ago A 55 tokens original MIT

babyworm/rtl-agent-team

Agent

Phase 3 μArch design pipeline orchestrator. Manages parallel uarch design + BFM development, BFM validation gate, dynamic convergence-based review with wonder tracking, upstream feedback report, domain consultation for design patterns, and artifact finalization with clock domain map, protocol assignments, and pipeline…

50 8d ago A 68 tokens original MIT

INDEX

04

sean-galloway/RTLDesignSherpa

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.

21 yesterday A 0 tokens original MIT

formal-prove

05

sean-galloway/RTLDesignSherpa

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.

21 yesterday A 0 tokens original MIT

sean-galloway/RTLDesignSherpa

Agent

One working tree, several agents - the four ways uncommitted state crosses agent boundaries, and the staged-set check that actually holds.

21 yesterday A 0 tokens original MIT