تشغيل أي مهارة في Manus
بنقرة واحدة
بنقرة واحدة
تشغيل أي مهارة في Manus بنقرة واحدة
ابدأ الآن$pwd:
$ git log --oneline --stat
stars:١٦٧
forks:٣٦
updated:٢٥ مايو ٢٠٢٦ في ٠٧:٤٧
SKILL.md
UCAgent是基于大语言模型的自动化任务执行AI代理,支持通用工作流配置和执行。本技能提供配置文件编写规范、自定义Checker开发指南、--emulate-config配置校验工具使用方法,帮助用户快速创建、验证和运行各类任务工作流。
从 analysis 中提取 RTL_BUG 属性,LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。
提取和分析被测模块(DUT)的功能规格和形式化检测点
环境分析技能。Checker 已自动解析日志并生成骨架,LLM 仅需通过脚本填写分析详情。
在 YAML 中编写 SVA 属性检测代码
指导解释覆盖率报告并优化未覆盖死角的技能
| name | cex-gen |
| description | 自动解析环境分析文档和 wrapper.sv,为每个 RTL_BUG 生成 Python 测试函数框架,LLM 填写引脚驱动和断言逻辑。 |
自动化生成 {OUT}/tests/test_{DUT}_counterexample.py,每个 RTL_BUG 对应一个测试函数框架(含 DUT 初始化、复位序列),LLM 只需在 [LLM-TODO] 处填写引脚驱动和断言。
使用 RunSkillScript 工具执行以下命令生成测试文件骨架:
python3 .ucagent/skills/formal/cex-gen/scripts/init_test_file.py
工具会自动从分析文档提取 RTL_BUG,从 wrapper.sv 识别时钟/复位端口,生成完整测试文件框架。
对于每个测试函数中的 [LLM-TODO]:读取 avis.log 反例信息 + RTL 源码,填写引脚驱动和 assert 断言。
dut.Finish()