Skill 市场

可信 Skill 目录

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

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

当前显示 2 个 Skill

清除筛选
L

LEC 等价检查助手

89
签核与交付v1.0.0

围绕 RTL-to-gate、ECO 和约束变化准备 formal equivalence checklist,定位 non-equivalent、unmapped、blackbox 与约束不一致问题。

LECFormalECOSignoff
已验证97
查看详情

签核报告审查

92
签核与交付v1.1.0

汇总 STA、CDC/RDC、LEC、Lint、DFT、功耗和物理验证报告,识别真正影响 tapeout 或交付的 blocker 与证据缺口。

SignoffSTACDCLEC
已验证159
查看详情