Skip to main content

RTL Buddy

RTL Buddy gives an RTL project one command surface for simulation, regressions, synthesis, formal verification, physical design, coverage, and debug tooling. The project describes models, tests, and flows in YAML; RTL Buddy resolves filelists, runs the external tools, records artefacts, and reports results the same way for local, CI, and agent runs.

Supported workflows​

  • Simulation and randomized testing with Verilator, Icarus Verilog, or VCS
  • Multi-suite regressions with local, local-parallel, or Slurm dispatch
  • Yosys synthesis and OpenROAD timing, place-and-route, and power analysis
  • SymbiYosys formal verification and mutation testing
  • Verilator coverage collection, merge, query, and export
  • Surfer waveform viewing and RTL hierarchy queries
  • Verible linting, spec traceability, FPGA implementation, and AXI profiling
  • Machine-readable output, a design knowledge graph, and an MCP server for agents

Each workflow needs its own external tools. See Installation.

Start here​

  • Tour — see the real output of every workflow on the template project before setting one up
  • Installation — install RTL Buddy and the tools your workflow needs
  • Quick Start — run a test, regression, or synthesis entry in an existing project
  • Root Config — configure platforms and tools
  • Tests — define and run a verification suite

Reference​