gokeshenzhen

3 listings · 0 installs

Open-source publisher. Listings imported from github.com/gokeshenzhen — credited to the original author with their license.

↗ github.com/gokeshenzhen

Self-run

SKILL

Formal Verification

skill-gokeshenzhen-awesome-formal-verification-skill-claude-code · by gokeshenzhen

Free

Self-run

MCP

TraceWeave

mcp-gokeshenzhen-traceweave · by gokeshenzhen

简洁的测试平台日志，波形(FSDB/VCD)，根因分析MCP Server. A Simple and Universal MCP Server to Debug Testbench Simulation Failures Via Log Parsing And Waveform Analysis (FSDB/VCD)

Free

Self-run

SKILL

Gen Tb

skill-gokeshenzhen-gen-tb-skill-gen-tb-skill · by gokeshenzhen

Generate a complete UVM testbench scaffold for a single IP from its spec documents (docx/pdf/md) and register table (xlsx/csv/md/IP-XACT). Use whenever the user asks to "generate a UVM tb", "build a verification environment", "scaffold a testbench", "create a UVC", "set up DV for this IP", or anything equivalent in Chinese ("帮我生成验证环境", "搭一个 tb", "做 UVM 环境", "做这个 IP 的验证"). Also trigger when the us…

Free

You've reached the end · 3 loaded