Menu
通过脚本把最终总结写入 .formal_records.yaml 的 summary 字段，并由系统自动渲染 05 总结文档。
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
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-summary |
| description | 通过脚本把最终总结写入 .formal_records.yaml 的 summary 字段，并由系统自动渲染 05 总结文档。 |
本技能用于维护 .formal_records.yaml 中的 summary 字段。
本阶段的唯一事实来源是 .formal_records.yaml.summary。
核心规则：
05_{DUT}_formal_summary.mdRunSkillScript 调用 update_summary.py 修改 YAML05_{DUT}_formal_summary.md 是派生产物，Checker 会结合 run_results、coverage、bugs 自动校验并重建执行说明：
RunSkillScript 调用技能脚本python3 环境具备所有依赖常用命令：
python3 .ucagent/skills/formal/summary/scripts/update_summary.py -action show
python3 .ucagent/skills/formal/summary/scripts/update_summary.py -action set -path acceptance_conclusion -value "当前存在高严重度 RTL bug，不建议验收"
python3 .ucagent/skills/formal/summary/scripts/update_summary.py -action append -path severe_bugs -value '{"bug_id":"BG-FORMAL-001","bug_type":"RTL_BUG","desc":"位宽错误","checker_link":"A_CK_ADD_RESULT"}'
字段清单：
core_function：对 DUT 核心功能的总结overall_result：整体验证结果结论coi_assessment.unreachable_notes[]：COI 或不可达逻辑说明completeness.safety：安全性检查覆盖说明completeness.liveness：活性检查覆盖说明completeness.cover：cover 完整性说明severe_bugs[]：高严重度问题列表，每项包含 bug_id/bug_type/desc/checker_linkacceptance_conclusion：是否建议验收及理由最小骨架：
summary:
core_function: ""
overall_result: ""
coi_assessment:
unreachable_notes: []
completeness:
safety: ""
liveness: ""
cover: ""
severe_bugs: []
acceptance_conclusion: ""
推荐填写顺序：
run_results、coverage、bug_records 写 overall_result。core_function 与 completeness，交代本次形式化覆盖了什么、还缺什么。severe_bugs[]，并补齐 checker_link。acceptance_conclusion，明确是否可验收。写入约束：
summary 只写人工判断和结论，不要手动填写统计数字；通过率、覆盖率、bug 数量由系统自动汇总。severe_bugs[] 仅记录高严重度问题，普通提示或待确认项不要混入这里。checker_link 应指向可定位的 checker 名称或断言标识，避免只写“见日志”。