Skill 市场

可信 Skill 目录

按 IC 研发流程组织能力包,覆盖规格、RTL、验证、综合、物理实现、签核和自动化。

27 个 Skill官方 / 已审核支持 Codex / Claude Code / Cursor

当前显示 6 个 Skill

清除筛选
A

Assertion 计划生成

92
功能验证v1.0.0

把协议规则、状态机、异常优先级和安全属性转成 SVA 计划与断言骨架,帮助验证团队建立可维护的 checker 体系。

SVAAssertionProtocolFormal
已验证136
查看详情
B

Bug 最小复现助手

85
功能验证v1.0.0

把复杂仿真失败、随机种子、配置参数和日志整理成最小复现用例,减少 RTL、验证和工具团队之间的沟通成本。

BugReproduceDebugRegression
已验证84
查看详情

覆盖率收敛助手

91
功能验证v1.1.0

读取功能覆盖、代码覆盖、失败 regression 和验证计划,定位真正阻碍 signoff 的覆盖缺口,生成可执行的 test/constraint/checker 补强方案。

CoverageRegressionUVMSignoff
已验证221
查看详情
U

UVM 环境搭建助手

93
功能验证v1.1.0

根据 DUT 接口、事务模型、寄存器表和验证计划生成 UVM agent、sequence、scoreboard、coverage 与 smoke regression 骨架,重点保证结构可维护。

UVMTestBenchCoverageScoreboard
已验证248
查看详情
U

UVM RAL 生成助手

91
功能验证v1.0.0

从寄存器表生成 UVM Register Abstraction Layer 模型、访问策略、mirror/reset 检查和寄存器测试计划,适合 CSR 密集型 IP。

UVM RALCSRRegisterVerification
已验证127
查看详情

波形调试摘要

87
功能验证v1.0.0

把仿真失败日志、关键波形信号、断言报错和测试上下文整理成可复现 debug 摘要,帮助工程师快速定位 RTL 或 testbench 根因。

WaveformDebugSimulationFailure
已验证103
查看详情