القائمة
通过脚本把验证规划写入 .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。