Skill 市场

可信 Skill 目录

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

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

当前显示 27 个 Skill

A

Assertion 计划生成

92
功能验证v1.0.0

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

SVAAssertionProtocolFormal
已验证136
查看详情
B

Bug 最小复现助手

85
功能验证v1.0.0

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

BugReproduceDebugRegression
已验证84
查看详情
C

CDC/RDC 审查助手

93
签核与交付v1.0.0

面向多时钟、多复位设计审查 clock domain crossing 与 reset domain crossing 风险,输出同步策略、waiver 证据和签核前闭环清单。

CDCRDCResetSignoff
已验证132
查看详情

时钟复位架构审查

89
系统规格与架构v1.0.0

审查 clock/reset 规划、同步释放、门控时钟、低功耗模式和 test/scan 影响,帮助前端在编码前降低 CDC/RDC 与 STA 风险。

ClockResetCDCArchitecture
已验证96
查看详情

拥塞与 ECO 规划

84
物理实现v1.0.0

基于 placement/routing 拥塞、timing、fanout 和 ECO 约束生成低风险优化计划,区分 RTL、约束、floorplan 与后端策略动作。

CongestionECOPnRTiming
已验证76
查看详情

覆盖率收敛助手

91
功能验证v1.1.0

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

CoverageRegressionUVMSignoff
已验证221
查看详情
D

DFT/Scan 准入审查

86
签核与交付v1.0.0

审查 scan chain、test mode、clock/reset、memory BIST、wrapper、ATPG 约束和可测试性风险,帮助前后端在 DFT 前完成交接。

DFTScanATPGTest
已验证88
查看详情
E

EDA Flow 编排助手

90
工具链与流程自动化v1.1.0

把仿真、Lint、综合、覆盖率、报告归档和失败定位整理成可复现的命令流水线,适合团队把零散脚本升级成可维护流程。

EDA FlowRegressionCIReport
已验证236
查看详情
E

EDA 日志分诊

91
工具链与流程自动化v1.0.0

批量分析仿真、Lint、综合、STA、PnR 等 EDA 日志,归类失败原因、提取第一现场证据,并生成可执行的排障优先级。

EDA LogRegressionDebugAutomation
已验证167
查看详情
F

Floorplan/Macro 审查

85
物理实现v1.0.0

审查 macro 摆放、pin 方向、通道宽度、电源域、时钟树入口和拥塞风险,帮助物理实现团队在早期减少后端迭代。

FloorplanMacroPnRCongestion
已验证82
查看详情
L

LEC 等价检查助手

89
签核与交付v1.0.0

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

LECFormalECOSignoff
已验证97
查看详情
F

FPGA 时序收敛助手

90
物理实现v1.0.0

面向 FPGA 项目分析 timing report、约束、critical path、跨时钟和资源布局问题,给出 RTL、约束和实现策略层面的收敛方案。

FPGATimingXDCImplementation
已验证146
查看详情
I

IP 集成风险地图

90
系统规格与架构v1.0.0

面向 SoC/IP 集成审查接口、寄存器、时钟复位、电源域、DFT、版本和依赖关系,生成集成风险地图与交付准入清单。

IPSoCIntegrationHandoff
已验证111
查看详情
U

UPF 低功耗审查

90
签核与交付v1.0.0

审查 power domain、isolation、level shifter、retention、power state table 与 RTL/Floorplan/STA 的一致性,减少低功耗签核返工。

UPFLow PowerIsolationRetention
已验证118
查看详情
P

PnR 准入审查

89
物理实现v1.1.0

在进入 place and route 前审查 netlist、SDC、floorplan、macro、power intent、scan、timing 和物理约束,减少后续反复返工。

PnRFloorplanSTAPhysical
已验证143
查看详情
R

Regression 看板生成

86
工具链与流程自动化v1.0.0

把回归结果、失败分类、覆盖率趋势、用例耗时和 owner 状态整理成团队可读的中文看板,支持每日验证例会快速决策。

RegressionDashboardCoverageReport
已验证91
查看详情
R

RTL 代码生成助手

94
RTL 设计与集成v1.1.0

把已评审的架构说明、接口表、寄存器表和时序约束转成可综合 Verilog/SystemVerilog,并同步产出追踪表、Lint 检查清单和验证交接说明。

RTLSystemVerilog寄存器Lint
已验证286
查看详情
R

RTL Lint 修复闭环

92
RTL 设计与集成v1.0.0

分析 RTL Lint 报告,区分真实设计问题、风格问题、工具误报和可接受 waiver,生成低风险修复方案与回归验证清单。

RTLLintCDCQuality
已验证152
查看详情
S

SDC 与综合规划

90
逻辑综合v1.1.0

从时钟树、I/O 时序、异步路径、mode/corner 和综合目标出发,生成可审查的 SDC 草案、约束风险表和综合前检查计划。

SDCSynthesisSTAConstraint
已验证174
查看详情

签核报告审查

92
签核与交付v1.1.0

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

SignoffSTACDCLEC
已验证159
查看详情

规格一致性审查

92
系统规格与架构v1.1.0

在编码前审查 PRD、架构说明、接口表、寄存器表、验证计划和约束假设,提前发现冲突、缺项和不可验证需求。

SpecArchitectureReviewTraceability
已验证198
查看详情
S

STA Exception 审计

91
逻辑综合v1.0.0

专项审查 false path、multicycle、case analysis、clock group 等 STA exception,识别过度约束、漏约束和缺少证据的时序风险。

STASDCTimingException
已验证121
查看详情

综合 QoR 分析

88
逻辑综合v1.0.0

分析综合后的 timing、area、power、fanout、critical path 和约束变化,定位 QoR 下降原因并给出 RTL/SDC/综合策略优化建议。

QoRSynthesisTimingArea
已验证109
查看详情

工具链复现打包

84
工具链与流程自动化v1.0.0

为 EDA/FPGA/验证问题整理可复现环境清单、命令记录、输入哈希、版本信息和脱敏证据包,便于团队协作和客户支持。

ReproduceToolchainSupportPackage
已验证74
查看详情
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
查看详情