菜单
通过脚本把验证规划写入 .formal_records.yaml 的 planning 字段，并由系统自动渲染 01 规划文档。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
UCAgent是基于大语言模型的自动化任务执行AI代理，支持通用工作流配置和执行。本技能提供配置文件编写规范、自定义Checker开发指南、--emulate-config配置校验工具使用方法，帮助用户快速创建、验证和运行各类任务工作流。
通过脚本把 DUT 基本信息写入 .formal_records.yaml 的 basic_info 字段，并由系统自动渲染 02 基本信息文档。
从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。
自动解析环境分析文档和 wrapper.sv，为每个 RTL_BUG 生成 Python 测试函数框架，LLM 填写引脚驱动和断言逻辑。
基于 basic_info.clock_reset 与 extra_config.tcl 渲染 wrapper/checker/formal.tcl。
提取和分析被测模块(DUT)的功能规格和形式化检测点
| name | formal-plan |
| description | 通过脚本把验证规划写入 .formal_records.yaml 的 planning 字段，并由系统自动渲染 01 规划文档。 |
本技能用于维护 .formal_records.yaml 中的 planning 字段。
本阶段的唯一事实来源是 .formal_records.yaml.planning。
核心规则：
01_{DUT}_verification_needs_and_plan.mdRunSkillScript 调用 update_plan.py 修改 YAML01_{DUT}_verification_needs_and_plan.md 是派生产物，Checker 通过后系统会自动重建执行说明：
RunSkillScript 调用技能脚本python3 环境具备所有依赖常用命令：
python3 .ucagent/skills/formal/plan/scripts/update_plan.py -action show
python3 .ucagent/skills/formal/plan/scripts/update_plan.py -action set -path project_overview -value "这是一个..."
python3 .ucagent/skills/formal/plan/scripts/update_plan.py -action append -path assumptions -value "\"输入 valid 仅在握手期间有效\""
字段清单：
project_overview：项目概述，字符串design_spec_analysis.parameters[]：参数列表，每项包含 name/default/range/notedesign_spec_analysis.interfaces[]：接口列表，每项包含 name/direction/width/notecomplexity.state_space：状态空间复杂度，字符串complexity.arithmetic_complexity：算术复杂度，字符串complexity.storage_complexity：存储复杂度，字符串complexity.parameterization：参数化影响，字符串verification_scope.included[]：纳入验证范围的目标verification_scope.excluded[]：暂不覆盖范围及原因assumptions[]：形式化环境假设strategy[]：验证策略、分层方法、关键检查方向deliverables[]：预期交付物risks[]：风险列表，每项包含 risk/mitigationinitial_bug_suspicions[]：初步缺陷线索最小骨架：
planning:
project_overview: ""
design_spec_analysis:
parameters: []
interfaces: []
complexity:
state_space: ""
arithmetic_complexity: ""
storage_complexity: ""
parameterization: ""
verification_scope:
included: []
excluded: []
assumptions: []
strategy: []
deliverables: []
risks: []
initial_bug_suspicions: []
推荐填写顺序：
project_overview，用 2 到 4 句说明 DUT 作用、输入输出和验证目标。design_spec_analysis 与 complexity，这些字段决定规划文档的技术上下文。verification_scope、assumptions、strategy，避免后续 SVA 方向发散。deliverables、risks、initial_bug_suspicions，用于收束执行计划。写入约束：
parameters 与 interfaces 必须写成对象数组，不要写自由文本段落。verification_scope.included 与 verification_scope.excluded 必须分别列出，不能混写。risks[] 的每一项都必须同时包含 risk 和 mitigation。