XS-MLVP

UCAgent是基于大语言模型的自动化任务执行AI代理，支持通用工作流配置和执行。本技能提供配置文件编写规范、自定义Checker开发指南、--emulate-config配置校验工具使用方法，帮助用户快速创建、验证和运行各类任务工作流。

从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。

自动解析环境分析文档和 wrapper.sv，为每个 RTL_BUG 生成 Python 测试函数框架，LLM 填写引脚驱动和断言逻辑。

提取和分析被测模块(DUT)的功能规格和形式化检测点

环境分析技能。Checker 已自动解析日志并生成骨架，LLM 仅需通过脚本填写分析详情。

在 YAML 中编写 SVA 属性检测代码

指导解释覆盖率报告并优化未覆盖死角的技能

功能规格分析与测试点定义阶段及其子阶段专属技能,用于指导{DUT}_functions_and_checks.md的写入工作