Pinned Loading

1. TraceWeaveTraceWeavePublic

   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 98 26

2. awesome-formal-verification-skillawesome-formal-verification-skillPublic

   面向 AI 编程 Agent 的开源形式验证技能库，聚焦 FPV、SVA、证明优化、TCL 脚本与可扩展的形式验证工作流。Open-source formal verification skills for AI coding agents, focused on FPV, SVA, proof optimization, TCL scripting, and scalable verifi…

   SystemVerilog 32 7

3. liandanliandanPublic

   面向 Codex 与 Claude 的可审计知识蒸馏工具，将 Office、PDF 和 Markdown 转化为结构化文档、可复用知识模块或可发布的 Skill。Auditable knowledge distillation for Codex and Claude—turn Office files, PDFs, and Markdown into structured docs, re…

   Python 1

4. gen-tb-skillgen-tb-skillPublic

   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 24 7