5 projects
rtl-buddy
Python CLI for Verilog and SystemVerilog RTL testing, randomized regressions, coverage, and simulator workflow automation.
rtl-buddy-sch
RTL hierarchy and connectivity visualization tool. Pluggable Verible (source CST) or slang (elaborated) frontend; renders Graphviz / ASCII / Mermaid / JSON; integrates with rtl-buddy.
rtl-buddy-graph-extract
Clean-room, stdlib-only extractor implementing the Graphify CLI contract rb graph build consumes: verif Python + spec markdown -> node-link JSON binding tier.
rtl-buddy-xeno
SystemVerilog AST-mutation corpus generator. Source-level CDC-aware and FPV-aware mutations for fuzzer and mutation-testing harnesses.
rtl-buddy-view
RTL hierarchy and connectivity visualization tool. Pluggable Verible (source CST) or slang (elaborated) frontend; renders Graphviz / ASCII / Mermaid / JSON; integrates with rtl-buddy.
