メニュー
从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
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 中的标签