メニュー
verification_workflow 流水线的第 1 步。通过与用户交互，分析 DUT Spec 和 RTL 代码，定义验证目标。输出涵盖功能验证、性能验证、连通性验证的结构化验证目标文档。触发条件：由 verification_workflow 在第 1 步调用，或用户直接需要为某个 IP/模块定义验证范围/目标时触发。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Generate repository-ready ring bus topology Python and test driver files from a markdown architecture description, then optionally run the generated test script to produce build_logic RTL output and execute rtl_qc VCS compilation. Use when the user provides a .md ring bus architecture, wants MemTopo.py plus test_xxx.py, asks for markdown to rtl generation, ring_for_pd style topology generation, or wants an end-to-end markdown to build_logic to VCS flow.
Use when processing RTL modules at the microarchitecture level - including FIFO, state machines, counters, arbiters, decoders, or any Verilog/SystemVerilog hardware design. Load this skill immediately upon identifying RTL design tasks, before diving into brainstorming，planning or implementation.
verification_workflow 流水线的第 8 步。读取第 4 步输出的 verification-sim-tc-defines.md 中每条 TC 的 Checker 字段，编写两类检查代码：（1）在接口文件中实现 SVA assert property 捕获时序不变式；（2）若 tb-arch 规划了 Scoreboard，实现 Scoreboard 的数据比对逻辑。若存在 UVM/TB coding style 相关 skill，在开始编码前必须先加载。输出为接口文件中的 SVA 属性块 + tb/env/<dut>_scoreboard.sv。触发条件：由 verification_workflow 在第 8 步调用，或用户直接需要为已定义的 TC Checker 生成断言或 Scoreboard 代码时触发。
verification_workflow 流水线的第 7 步。读取第 4 步输出的 verification-sim-tc-defines.md 中每条 TC 的 Coverage 字段，结合第 5 步输出的 verification-tb-arch.md 中的 Monitor/Subscriber 分配，为每条 TC 编写 UVM 功能覆盖率代码（covergroup / coverpoint / bins）。若存在 UVM/TB coding style 相关 skill，在开始编码前必须先加载。输出为 tb/env/<dut>_func_cov.sv 覆盖率收集器文件。触发条件：由 verification_workflow 在第 7 步调用，或用户直接需要为已定义的 TC Coverage 生成功能覆盖率代码时触发。
verification_workflow 流水线的第 6 步。读取第 4 步输出的 verification-sim-tc-defines.md 中每条 TC 的 Stim 字段，结合第 5 步输出的 verification-tb-arch.md 中的 Agent/Sequencer 分配，为每条 TC 编写 UVM Sequence 激励代码。若存在 UVM/TB coding style 相关 skill，在开始编码前必须先加载。输出为 tb/sequences/ 目录下每条 TC 对应的 .sv 激励序列文件。触发条件：由 verification_workflow 在第 6 步调用，或用户直接需要为已定义的 TC Stim 生成 UVM Sequence 代码时触发。
verification_workflow 流水线的第 5 步。读取第 4 步输出的 verification-sim-tc-defines.md，分析所有测试用例三元组的 Stim/Coverage/Checker 需求，决策如何构建基于 UVM 的 Testbench 架构——包括需要哪些组件、组件间的连接关系、哪些组件可复用已有 VIP、哪些组件需要自行开发。输出为 verification-tb-arch.md，包含完整的 TB 组件清单、层次结构图、接口/VIP 决策以及开发任务分配。触发条件：由 verification_workflow 在第 5 步调用，或用户直接需要为一批 SIM 测试用例规划 UVM TB 架构时触发。
| name | verification-target |
| description | verification_workflow 流水线的第 1 步。通过与用户交互，分析 DUT Spec 和 RTL 代码，定义验证目标。输出涵盖功能验证、性能验证、连通性验证的结构化验证目标文档。触发条件：由 verification_workflow 在第 1 步调用，或用户直接需要为某个 IP/模块定义验证范围/目标时触发。 |
本 skill 是 verification_workflow 流水线的第 1 步。
目标：明确 我们需要对 DUT 的哪些方面进行验证，并将其表述为一组范围清晰的验证目标。
输入：DUT Spec 文档 + RTL 源代码（由用户提供，或已在上下文中）
输出：verification-targets.md —— 列出所有已确认验证目标的结构化文档
在提问之前，先自主收集以下上下文：
若扫描 RTL 发现顶层模块存在 parameter 声明，必须在进入第 2 步之前完成本节。
第一步：列出所有参数
将识别到的所有参数整理为表格展示给用户：
"检测到本 DUT 为参数化设计，包含以下参数：
参数名 默认值 说明（来自注释/Spec） DATA_WIDTH32 数据位宽 DEPTH16 FIFO 深度 ... ... ... 请为每个参数指定一个用于本次验证的固定值，或告诉我让我为你选择一个典型值。"
第二步：确定参数值
DATA_WIDTH、ADDR_WIDTH 等）→ 选常见工业值（如 32、64）DEPTH、NUM_PORTS）→ 选能覆盖基本功能且仿真可行的中等值（如 8、16）ENABLE_FEATURE）→ 选 1（使能），除非 Spec 建议验证关闭路径第三步：记录并锁定参数配置
确认后，输出参数配置表，并在所有后续分析中以此为准：
本次验证的固定参数配置：
DATA_WIDTH = 32
DEPTH = 16
...
（验证目标仅针对以上固定参数配置下的 DUT 行为，不覆盖参数扫描）
⚠️ 重要约束：后续所有验证目标、测试点、策略均基于上述固定参数配置定义，不涉及参数空间的扫描验证。若需验证不同参数组合，应作为独立的验证活动另行规划。
按照以下问题清单，以对话方式逐组提问。不要一次性抛出所有问题。
针对 RTL 中识别出的每个子模块：
"子模块
<name>—— 这是 Golden IP（已预验证、可信任）吗？还是需要在本次验证工作中对其进行完备的功能验证？"
"是否需要对顶层 DUT 进行完整的功能验证（即 Spec 中所有 feature 都必须被覆盖）？"
若只做部分验证，追问：
"哪些 feature 范围在本次验证之内？哪些不在范围之内（例如由其他团队负责）？"
"是否有需要验证的性能指标？（例如吞吐量、延迟、带宽、背压处理）"
若有，追问：
"每个性能指标的通过/失败判定标准是什么？"
"本 DUT 是否集成在更大的 SoC 或子系统中？是否需要集成级别的连通性检查（例如总线连通性、中断路由）？"
仅当 Spec 或 RTL 中有相关提示时，才询问以下各项：
根据用户回答，将目标归入以下类别：
| 类别 | 说明 |
|---|---|
| 功能验证 | 验证 DUT 正确实现了 Spec 中所有规定的行为 |
| 性能验证 | 验证吞吐量 / 延迟 / 带宽满足 Spec 要求 |
| 连通性验证 | 验证总线连线、中断连接、复位等正确集成 |
| 黑盒验证 | 子模块为 Golden IP；只验证其连接是否正确 |
| 不在范围内 | 明确排除在本次验证工作之外 |
生成 verification-targets.md，结构如下：
# 验证目标 — <DUT 名称>
## 参数配置（仅参数化 DUT 需要）
| 参数名 | 本次验证取值 | 选值依据 |
|--------|------------|---------|
| `DATA_WIDTH` | 32 | 用户指定 / 典型工业值 |
| `DEPTH` | 16 | 用户指定 / 覆盖基本功能的中等值 |
| ... | ... | ... |
> 本验证目标文档及后续所有测试点、策略均仅针对以上固定参数配置，不涵盖参数空间扫描。
## 范围摘要
<一段话总结本次验证的范围，以及明确排除的内容。>
## 验证目标列表
### 功能验证目标
- [ ] FT-001: <描述>
- [ ] FT-002: <描述>
...
### 性能验证目标
- [ ] PT-001: <描述，含通过/失败判定标准>
...
### 连通性验证目标
- [ ] CT-001: <描述>
...
### 黑盒 / Golden IP 目标
- [ ] BT-001: 子模块 `<name>` —— 仅做连通性检查
...
### 不在范围内
- OS-001: <排除原因>
...
本步骤完成后：
verification-targets.md，存储在项目的验证目录（或与用户协商的位置）。verification-testpoint）。