Pinned Loading

1. TraceWeave TraceWeave Public

   Open-source, evidence-driven MCP server for RTL simulation debugging: correlate VCS/Xcelium logs, VCD/FSDB waveforms, SystemVerilog/UVM source, hierarchy, and connectivity to trace failures to root…

   Python 120 31

2. awesome-formal-verification-skill awesome-formal-verification-skill Public

   Open-source, agent-agnostic RTL formal verification skill library for AI coding agents: JasperGold FPV, SVA, proof optimization, and TCL workflows for Claude Code, Codex, Gemini CLI, and Cursor.

   Python 34 8

3. gen-tb-skill gen-tb-skill Public

   Claude Code / Codex CLI skill that scaffolds a runnable UVM testbench (APB / AHB-Lite / AXI4-Lite + generic-bus fallback) from an IP spec and register table, with a UVM-sequence flow for DV and a t…

   Python 27 9

4. cov-hunter cov-hunter Public

   覆盖率空洞分析全闭环工具，用于生成自然语言描述覆盖率报告，根据报告生成直接用例，并评判此用例覆盖率数据命中情况。A comprehensive, closed-loop tool for coverage gap analysis that generates natural-language coverage reports, automatically generates direct …

   Python 10 4

5. take-root take-root Public

   CLI harness Agent：6 个 persona 协作，把想法推进到计划、实现和测试闭环. CLI Harness Agent: 6 Personas Collaborating to Drive Ideas Through a Closed Loop of Planning, Implementation, and Testing

   Python 8 1

6. jasper-lint-agent jasper-lint-agent Public

   Python 4 3