同一个 DUT4 × 8 bit FIFO
固定时序契约,64 笔黄金事务,独立检查器。
明确运行模式SA · Run 基线
主机 Testbench 与硬件 DUT 协作,先验证再优化。
每步都有证据源码 → 日志 → 结果
用输入摘要和唯一运行编号关联全过程。
沿着工程走,带着结果进入下一章
01工程契约、环境准备与黄金基线
明确同一个 FIFO 工程的边界、目录和验收条件,先在软件环境得到可追溯的黄金结果。
本章交付:黄金事务 CSV · 环境记录从黄金仿真到 SA 编译
沿用第一章的 RTL 与 Testbench,建立独立商业仿真和硬件编译产物,审查映射边界。
本章交付:独立 sim / sa 构建 · 输入摘要加载运行、复位与跨环境验收
使用第二章生成的 snapshot,确认硬件执行证据,并将 SA 结果与黄金序列逐笔比较。
本章交付:硬件执行证据 · 逐笔对比从事务错误到在线采集与离线波形
在同一个 SA 工程中保留运行现场,生成 .phy 数据并离线导出,按握手关系解释波形。
本章交付:原始 .phy 目录 · 可解释波形故障注入、第一处差异与修复回归
在独立构建中注入一个确定性数据错误,串起日志、CSV 和波形定位,证明检查器有效。
本章交付:第一处差异 · 正常版回归Profiling、单变量优化与性能验收
在功能通过的同一个工程中区分软件、通信与硬件成本,用可复核数据评估优化收益。
本章交付:Profiling · 同口径重复测量完成课程时,你应该拥有
- 同一份源码与明确的站点版本记录,正常和故障构建互不覆盖。
- 黄金 CSV、商业软件与 SA 的逐笔结果对比,以及实际硬件执行证据。
- 覆盖首个异常的采集窗口、完整 trace 目录和修复回归结果。
- 同一工作量下的原始性能样本、统计口径和可复核结论。
已有硬件资源可按六章执行;没有设备也能完成软件基线与故障复现,提前理解完整流程。
黄河电子