Menu
从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。
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 基本信息文档。
自动解析环境分析文档和 wrapper.sv，为每个 RTL_BUG 生成 Python 测试函数框架，LLM 填写引脚驱动和断言逻辑。
基于 basic_info.clock_reset 与 extra_config.tcl 渲染 wrapper/checker/formal.tcl。
提取和分析被测模块(DUT)的功能规格和形式化检测点
Internal support skill for formal verification workspaces. This folder carries shared Python helpers and templates used by other formal skills and is not intended for direct user invocation.
| name | bug-report |
| description | 从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。 |
本技能指导如何从验证分析中提取 RTL Bug 并通过 脚本 将报告写入 .formal_records.yaml。
本阶段的唯一事实来源是 .formal_records.yaml.bugs。
文档格式与归因方法参见
Guide_Doc/bug_report.md
执行说明：
RunSkillScript 调用技能脚本python3 环境具备所有依赖04_{DUT}_bug_report.md 是派生产物，不要直接编辑Bug 骨架由 Checker 根据 .formal_records.yaml.analysis.fa_entries 中标记为 RTL_BUG 的属性自动生成。
你不需要手动运行初始化脚本。
python3 .ucagent/skills/formal/bug-report/scripts/update_bug.py -action show
禁止直接编辑 YAML，使用 RunSkillScript 调用脚本：
python3 .ucagent/skills/formal/bug-report/scripts/update_bug.py \
-id BG-FORMAL-001 \
-fg_id FG-ARITHMETIC \
-fc_id FC-ADD-BASIC \
-rtl_file Adder/Adder.v \
-rtl_line 10 \
-description "sum 位宽错误导致加法结果不完整" \
-root_cause "output [WIDTH-2:0] sum 位宽参数错误" \
-trigger "当 a + b + cin >= 2^63 时触发" \
-expected "sum[63:0] 输出完整的 64 位加法结果" \
-actual "sum[62:0] 仅输出 63 位" \
-fix "将 Adder.v 第 10 行改为 output [WIDTH-1:0] sum" \
-severity HIGH \
-confidence HIGH
severity 枚举值： HIGH / MEDIUM / LOW
confidence 枚举值： HIGH / MEDIUM / LOW
Checker 验证所有字段已填写（非 [LLM-TODO]），通过后自动重建 04_{DUT}_bug_report.md。
RTL_BUG 属性都必须有对应的 bug 条目bugs 设为空数组 []fg_id、fc_id 必须来自 spec 中的标签