UCAgentBySoldierBoy

UCAgentBySoldierBoy 是一个针对 NutShell Cache RTL 的验证项目。仓库保留可运行的 RTL 验证代码、测试、脚本、环境配置、机器可读验证数据、UCAgent 原型证据和一份正式 PDF 验证报告。

正式报告

• 验证报告.pdf

这份报告包含测试计划、覆盖率分析、Bug 追踪记录、UCAgent 原型处理、人工修正内容、复现方式和剩余风险。

当前状态

• 全量 pytest：73 passed, 2 xfailed, 1 skipped
• 功能覆盖：18/18 closed
• 交叉覆盖：35/35 closed
• 行覆盖：总计 90.70%，核心 Cache.v 为 94.13%
• Bug 矩阵：8 个受控故障

复现方式

默认入口使用 Makefile。make 会优先使用当前激活环境中的 Python；如果当前没有激活环境，会尝试使用本机 ucagent-cache 环境中的 Python；最后才回退到系统 python3。

推荐命令：

make check_toolchain
make report

常用单项命令：

make test
make line_coverage
make functional_coverage
make toffee_coverage
make coverage_gate
make crv_matrix
make stress_matrix
make bug_matrix

如需指定 Python，可显式传入：

make test PYTHON_BIN=/path/to/python

如需同步依赖：

make setup

目录说明

• src/：验证环境、参考模型、Scoreboard、Generator 和 Toffee 接入。
• tests/：定向测试、CRV、stress、故障注入和 coherence 测试。
• rtl/：DUT RTL、接口映射和来源说明。
• scripts/：DUT 生成、工具链检查、覆盖率和矩阵数据刷新。
• reports/：覆盖率、CRV、stress、故障注入矩阵等机器可读数据。
• ucagent/：UCAgent baseline、运行输出和 prompt 归档，用于说明 AI 原型如何形成。
• skills/：本项目使用的 Cache 验证 skill、参考资料和辅助检查脚本。

ucagent/ 与 skills/ 用于保留 AI 原型和提示策略证据；最终验证环境的执行入口仍是 src/、tests/、scripts/、rtl/ 和 Makefile。

ucagent/output/reports/ 中的 Markdown 文件是阶段性证据快照，不作为第二份正式报告；正式交付报告只有根目录 验证报告.pdf。

生成产物

Picker 生成的 DUT 包位于 dut/generated/，RTL 源码变异 DUT 包位于 dut/buggy_rdata_flip/。这两个目录属于可再生产物，不作为主要源码维护。

make gen_dut
make buggy_dut