菜单
创建测试用例模板阶段专属技能,用于指导测试用例模板的创建以及格式规范
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | create-test-case-templates |
| description | 创建测试用例模板阶段专属技能,用于指导测试用例模板的创建以及格式规范 |
def test_basic_addition(env):
"""测试 基本加法功能
测试场景:
两个整数相加,例如: 2 + 3, -10+5, 0+0等
"""
env.dut.fc_cover["FG-ADD"].mark_function("FC-BASIC", test_basic_addition, ["CK-NORM"])
# TASK: 实现基本加法测试逻辑
# 覆盖率模型约束
assert False, "Not implemented"
阅读reference_files中列举的文件
直接使用RunSkillScript工具执行create_template.py脚本来创建所有的测试用例模板,不允许你自己写代码来创建测试用例模板
直接使用Complete工具推进阶段,不要进行额外分析
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)的功能规格和形式化检测点