# 实验记录与学习验收

这是学习者填写的模板，不是已完成实验的证据。已有工具执行结果保存在 [进度记录](../progress.md)，学习完成状态在本表单独记录。

## 每节记录模板

复制此段用于一次练习；记录可以另存为 `docs/learning_notes/` 下的 Markdown，不提交波形和报告正文。

```text
节次/日期：
学习目标：
我的预测（运行前填写）：
电路/时序推导：
源码版本与未提交改动：
工具、参数和命令：
实际观察/退出码/完成标记：
产物位置（results 目录）：
与预测的差异及原因：
错误注入与恢复证据（如适用）：
尚未验证的假设：
用自己的话回答：这一段 RTL 是什么电路？
下一步：
```

## 24 节学习状态

“通过”要求完成该节练习并解释原因，不因已有参考 RTL 通过测试而自动勾选。

| 节次 | 主题 | 理解/练习/证据 | 自己的疑问 |
|---|---|---|---|
| 01 | 规格与契约 | 未填写 | |
| 02 | 波形推演 | 未填写 | |
| 03 | 寄存器与赋值 | 未填写 | |
| 04 | 分频与 FSM | 未填写 | |
| 05 | 复位与完成 | 未填写 | |
| 06 | 验证与故障注入 | 未填写 | |
| 07 | Liberty | 未填写 | |
| 08 | 综合与优化 | 未填写 | |
| 09 | setup/hold | 未填写 | |
| 10 | SDC 与 SPI 预算 | 未填写 | |
| 11 | Slave 架构 | 未填写 | |
| 12 | 单比特 CDC | 未填写 | |
| 13 | 多位 mailbox | 未填写 | |
| 14 | 原子提交 | 未填写 | |
| 15 | 复位与读回 | 未填写 | |
| 16 | 模块与寄存器 | 未填写 | |
| 17 | FIFO | 未填写 | |
| 18 | APB，选修实现 | 未填写 | |
| 19 | 物理输入 | 未填写 | |
| 20 | CTS | 未填写 | |
| 21 | 寄生与修复 | 未填写 | |
| 22 | 功耗与耦合 | 未填写 | |
| 23 | 结课设计 | 未填写 | |
| 24 | 评审与交付 | 未填写 | |

## 第一阶段覆盖矩阵

| 用例 | 预测 | 实际结果/证据位置 |
|---|---|---|
| A5 发送、3C 接收 | MOSI 10100101，rx_data=3C | |
| 256 个 TX、独立 RX | 每笔位序/数据正确 | |
| 接受后改变 tx_data | 原发送不变 | |
| busy-start | 丢弃，无额外完成 | |
| 中途复位 | 中止、不发 done、结果清零 | |
| 复位后恢复 | 能接受新请求 | |
| D=1、3、25 | 各 258 完整交易 | |
| done | 高一个 clk 周期 | |
| 首位错误注入 | MOSI 检查失败 | |
| 精确恢复基线 | sim→synth 通过，并检查报告 | |

## 结课设计覆盖矩阵

| 类别 | 用例 | 期望 |
|---|---|---|
| 帧 | 0/1/23/24/25 个采样沿 | 仅合法 24 位事务有效 |
| 地址 | 合法/非法/RO 写/保留位 | 按地址表更新或报错 |
| 相位 | 外部边沿相位扫动 | 在声明窗口内无漏沿/位错 |
| 时间 | 最小高低宽度、CS/MOSI 窗口 | 满足规格时正确；违规有明确边界 |
| 提交 | pending 中再次 commit | 原快照保持，busy_reject |
| 快照 | commit 后改变 shadow | active 应用旧快照 |
| 应用 | safe_update 缺失/持续高 | 等待/下一合法边沿更新 |
| 同周期 | 新 commit 与旧应用 | 保守拒绝新提交 |
| 读回 | 读期间 active 更新 | 当前帧快照保持 |
| 状态 | W1C 与新错误同周期 | 新错误优先 |
| 复位 | 帧/提交/等待/应用各阶段 | 中止、默认状态、恢复 |
| 完成 | applied 宽度/次数 | 每次应用一次单周期脉冲 |

## 阶段门槛

- [ ] 阶段一：独立画波形和电路；错误注入被发现；恢复验证通过。
- [ ] 阶段二：解释网表；手算 setup/hold；约束来源清楚。
- [ ] 阶段三：定义域、稳定窗口、mailbox 和复位；配置快照一致。
- [ ] 阶段四：事务接受/拒绝明确；FIFO 边界正确；读懂 APB 等待。
- [ ] 阶段五理论：完成数据审查及全部计算题。
- [ ] 阶段五物理实验：具备配套数据，实际完成并保存实现证据。
- [ ] 阶段六：独立验证的 RTL/综合证据完整；评审达到学习门槛。

## 首次学习任务

只读 [01–06 讲义](01_sync_spi.md) 的 01、02 两节，完成 A5/3C 波形记录。暂不修改代码。下一次讨论时带来三个答案：首位为什么不丢？rx_data 与 done 为什么不同时更新？CS 为何持续 8.5 μs？