XS-MLVP/UCAgent

ucagent

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

Quellsprache: Chinesisch

dynamic-bug-recording

为正确失败测试确认的动态DUT Bug优先确定性维护BG、TC、ROOT和波形引用；支持幂等重复调用、受控格式恢复与跨阶段累计。

Quellsprache: Chinesisch

test-case-implementation-in-batch

分批测试用例实现与对应Bug分析阶段专属技能，用于依据测试模板注释、功能规格CK原文和覆盖约束实现针对性激励与断言，并完成测试执行、动态Bug分析和报告记录

Quellsprache: Chinesisch

static-bug-validation

验证静态Bug候选并维护其与已完成动态Bug或BG-NA的LINK-BUG关联。

Quellsprache: Chinesisch

static-bug-analysis

RTL源码静态Bug分析阶段专属技能,用于指导 static_bug_analysis.md 文件的编写以及格式规范

Quellsprache: Chinesisch

formal-basic-info

通过脚本把 DUT 基本信息写入 .formal_records.yaml 的 basic_info 字段，并由系统自动渲染 02 基本信息文档。

Quellsprache: Chinesisch

bug-report

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

Quellsprache: Chinesisch

func-spec

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

Quellsprache: Chinesisch

formal-lib

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.

Quellsprache: Englisch

formal-plan

通过脚本把验证规划写入 .formal_records.yaml 的 planning 字段，并由系统自动渲染 01 规划文档。

Quellsprache: Chinesisch

formal-summary

通过脚本把最终总结写入 .formal_records.yaml 的 summary 字段，并由系统自动渲染 05 总结文档。

Quellsprache: Chinesisch

sva-audit

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

Quellsprache: Chinesisch

create-test-case-templates

创建测试用例模板阶段专属技能，用于生成正确的pytest参数签名、覆盖率标记和未实现占位断言，并依据STDERR区分模板错误与fixture、Mock、参考模型、依赖或配置错误

Quellsprache: Chinesisch

functions-and-checks

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

Quellsprache: Chinesisch

mock-components

Mock组件设计、mock_dut fixture实现和Mock独立单元测试阶段专属技能；用于严格区分Mock测试的mock_dut参数与普通DUT测试的env/ref_model参数契约

Quellsprache: Chinesisch

cex-gen

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

Quellsprache: Chinesisch

formal-env-config

基于 basic_info.clock_reset 与 extra_config.tcl 渲染 wrapper/checker/formal.tcl。

Quellsprache: Chinesisch

sva-gen

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

Quellsprache: Chinesisch

sva-opt

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

Quellsprache: Chinesisch

ucagent-client

Control a running UCAgent CMD API server from an AI agent or shell. Use when the user wants to connect to UCAgent, run CMD/PDB commands, inspect status, console, mission, tasks, tools, workspace files, interrupt execution, or call raw CMD API endpoints.

Quellsprache: Englisch