ut-vector-fadd

本仓库为 向量浮点混合加法模块(LaneFAdd) 的验证仓库。

archX1597 版本

• 本仓库 fork 自 RACE-org/ut-vector-fadd。
• 本 fork 在上游基础验证环境之上，补充了可直接运行的验证环境实现、随机化/约束回归能力，以及更完整的文档与用例集合。
• 复现与说明入口： README_archX1597.md

快速入口

• 任务规格： verification_spec.md
• archX1597 版本说明（推荐先读）： README_archX1597.md
• 验证点/用例与覆盖反标： verification_points.md
• 验证环境指南（含 transaction 重点说明）： vfadd_env_guide.md
• Reporter 机制说明： reporter_guide.md
• 总验证报告： verification_report.md
• 缺陷清单： bug_list.pdf

任务详情/要求

请查阅仓库中的 verification_spec.md。

环境介绍

目前本仓库提供了一个可直接运行的验证环境，包含以下内容：

.
├── bundles
├── env
├── doc
├── LaneFAdd
├── Makefile
├── pyproject.toml
├── README.md
├── requirements.txt
├── rtl
└── tests

• bundles：对端口引脚的封装。
• env：验证环境实现（agent/rm/transaction/common 组件等）。
• doc：存放各种文档，包含本次验证的任务详情。
• LaneFAdd：用 picker 工具生成的 Python DUT，通过 make dut 命令产生。
• Makefile：包含DUT的构建和清理命令。
• pyproject.toml：项目的基本信息，包含依赖的包。
• requirements.txt：项目依赖的包。
• rtl：存放 RTL 设计，目前仓库只包含 LaneFAdd.v。
• tests：存放测试用例。

运行后会生成输出目录：

• report_log：每个 pytest 用例的独立日志输出目录（文件名包含 test_name 与 seed）。
• reports：pytest HTML 报告输出目录（--toffee-report 生成）。

参与者可以根据自己的实际需求，对验证环境的结构进行改动。

Tip

参与者也可以通过 AI 驱动的 UCAgent 自动构建验证环境并生成测试用例，随后在此基础之上进行深入的开发和完善。

环境配置

参与者可以通过 pip install -r requirements.txt 安装依赖，对依赖有需要的话可自行维护。

本 fork 相比上游 requirements.txt（仅 pytoffee/toffee-test）额外引入：

• Pyvsc：约束随机能力（用例里 randomize_with()/dist 等）
• pytest-xdist：并行回归
• tabulate：事务/报告表格打印
• numpy、ml_dtypes：浮点/数据类型相关基础支持

Tip

如果熟悉 uv 的话，更推荐用uv对项目的环境进行管理。

运行（pytest）

生成 DUT（如果需要重新生成）：

make dut

运行全部用例并生成 HTML 报告：

pytest -sv --toffee-report

运行单个用例（推荐同时设置 seed 与日志等级）：

SEED=1 REPORT_LEVEL=LOW python3 -m pytest -s -k test_sanity tests/

多 seed 回归（自动为每个用例展开多次运行）：

python3 -m pytest -s --regress --count 5 tests/

Note

建议显式指定 --count，避免依赖默认次数。

按 tl 列表回归（tl/<xxx>.tl.lst 中可指定次数与可选 wave 标记）：

python3 -m pytest -s --tl tl/<xxx>.tl.lst tests/

输出说明：

• 每用例日志：./report_log/<test_name>_<seed>.log
• HTML 报告：./reports/report-*/report-*.html

如何参与

参与本次验证任务需要完成以下步骤：

1. 填写报名问卷
2. 加入 LaneFAdd 验证交流群(qq: 1028824516)
3. 完成验证工作：基于 ut-vector-fadd 仓库提供的验证环境开展验证
4. 提交PR：将验证结果通过Pull Request方式提交至该仓库

成果提交

请按以下流程提交您的验证成果：

1. Fork仓库：首先fork仓库 ut-vector-fadd
2. 完成开发：在fork的仓库中完成验证代码的实现和验证报告的编写
3. 提交PR：成果准备就绪后，请向原仓库发起Pull Request，提交您的验证成果

Bug 报告

请直接在仓库中的issue反馈 bug。提交bug时，请在label中选择bug标签。

成果需求

任务需要提交以下成果：

1. 验证环境+API：验证环境和API是代码成果，是针对待验证对象（DUT）的数据职责（引脚）和行为职责（逻辑）的封装，需要提供特定的可复用的接口、测试套件、测试覆盖率等的定义。其中，搭建验证环境可以参考验证环境搭建教程，测试覆盖率相关的文档可以参考这两篇：行覆盖率、功能覆盖率。
2. 测试用例：测试用例是代码成果，定义了用于测试的输入组合，以及预期的输出组合。构建测试用例可以参考测试用例添加教程。
3. 验证报告：验证报告是文字成果，包括对环境、测试点和测试用例的介绍，复现代码所需的环境和指令，以及对测试覆盖率等衡量指标的报告。
   • 验证报告的书写可以参考这篇教程：验证报告教程
4. 其他说明：如果运行您的项目需要其他的依赖，可在测试报告或PR中说明