Skip to content

[fpga] test: 归档 Toy Linux/Gemmini 实物测试与复现流程 - #8

Merged
Cody-ic merged 1 commit into
mainfrom
codex/arty-a7-gemmini-linux
Oct 12, 2026
Merged

Cody-ic merged 1 commit into
mainfrom
codex/arty-a7-gemmini-linux

Conversation

@Cody-ic

@Cody-ic Cody-ic commented Oct 12, 2026 •

Copy link
Copy Markdown
Collaborator

本 PR 将 Arty A7-100T 上已完成的 Toy 8×8 Linux/Gemmini 实物测试整理为可检查、可复现的仓库内容:从交叉编译 workload、安装 rootfs、构建标准 fw_payload.bin,到 JTAG 临时烧录、完整 DDR 读回及 Linux 内执行测试。

提交内容

  • 测试源码:新增 OS/WS 分块及尾块矩阵对照;原 13 项尺寸适配后的实际 C 编译输入、参数、23 个 opcode 定义和 CMake。原参考源码/ISA/DMA 库继续由固定提交与摘要绑定。
  • 构建与测试脚本:标准镜像构建、隔离远程入口、D2XX UART B、实物运行、独立 watchdog、离线记录核验;补齐主机依赖和中文命令说明。
  • Tcl 与证据:本次执行的 program.tcl、board/program_arty.tcl 原文快照,构建/JTAG/DDR/Linux 日志、两次完整算子回归、逐项返回码及计时。
  • 57 项归档文件由 MANIFEST.json 标注类型并绑定 SHA256;384 项平台来源摘要由 SOURCE_LOCK.json 核验。仅保留有用的测试信息,加载/启动阶段前缀和派生阶段记录明确标注。
  • CI 增加归档输入、DDR/启动、watchdog 和实物日志的离线核验。为重新构建的 UART 位流提供显式摘要参数;新产物需保存实现记录并重新上板验证,不继承历史结论。

实物结果

  • 精确 UART 位流:ccc33c511e613561fb9dd1e9c847bd3b84037da1d078c44cd3de197d55dffde1。
  • 新标准 payload:25,797,640 字节,全部 DDR 写入/读回一致后才 RUN,806.172 秒;实物启动 OpenSBI v1.9、Linux 6.6.0。
  • 15 个 Linux 程序摘要与构建记录一致,全部返回 0:五项 Linux 系统检查、原 13 项 Gemmini、新 16 项 OS/WS 矩阵对照通过。
  • watchdog 正常退出/非零退出/刻意超时及回收检查通过;实际系统/算子用例没有超时。刻意 1 秒超时返回 137 是预期结果。
  • 计时保留原始结果,多数小矩阵端到端路径仍慢于朴素 CPU 参考;计时含分块、DMA、配置、同步及 CPU 跨 K 累加,不是纯 MAC 延迟或整模型加速比。

本地验证

  • 从暂存索引导出的干净目录:来源/归档核验、两次实物记录离线核验、测试输入准备、Python 编译全部通过。
  • 原有硬件/Flash 历史证据保持原样并通过核验;git diff --cached --check 通过。
  • Gitleaks 8.30.1 暂存扫描无泄漏;没有凭据、私有配置或构建二进制入库。

范围

本次使用同一份已布线验证的 UART 位流,没有修改 RTL、引脚或时序,也未改 Flash。这里是临时 FPGA SRAM/DDR 测试流程;断电后回到原固化 Linux,新测试镜像须重新加载。尚不代表完整模型、全面 FPU、全 DDR、长期稳定性/功耗或完整芯片资格验收;跨 K 分块结果由 CPU 累加。

复现与检查入口:中文指南、归档索引、实物报告。

@gitguardian

gitguardian Bot commented Oct 12, 2026 •

Copy link
Copy Markdown

️✅ There are no secrets present in this pull request anymore.

If these secrets were true positive and are still valid, we highly recommend you to revoke them.
While these secrets were previously flagged, we no longer have a reference to the
specific commits where they were detected. Once a secret has been leaked into a git
repository, you should consider it compromised, even if it was deleted immediately.
Find here more information about risks.


🦉 GitGuardian detects secrets in your source code to help developers and security teams secure the modern development process. You are seeing this because you or someone else with access to this repository has authorized GitGuardian to scan your pull request.

@Cody-ic
Cody-ic force-pushed the codex/arty-a7-gemmini-linux branch from 8194555 to 1348508 Compare October 12, 2026 10:38
@Cody-ic
Cody-ic merged commit 4bdd4e4 into main Oct 12, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant