# 专项学习记录与验收

本表只记录个人学习/实验状态，全部初始为未填写。已有第一课工具结果见 [进度记录](../progress.md)，不能据此自动通过专项课。

## 每次学习记录

```text
节次/日期：
目标与前置知识：
物理假设来源（真实指标/教学假设）：
输入输出的单位、编码与时钟域：
运行前的预测/手算：
电路、状态、拥有权与边界：
源码版本/未提交改动：
工具、参数、seed 与命令：
结果、退出码、完成标记和证据位置：
错误注入/异常恢复结果：
数字证据能证明的行为：
仍需模拟/工艺/实现验证的条件：
自己的解释与疑问：
下一次任务：
```

## 25–48 学习表

| 节次 | 任务 | 状态 | 记录/疑问 |
|---|---|---|---|
| 25 | 数模接口、单位和有效性 | 未填写 | |
| 26 | 最小等待与 ready | 未填写 | |
| 27 | 故障和复位输出 | 未填写 | |
| 28 | watchdog 和诊断 | 未填写 | |
| 29 | ADC 握手与标签 | 未填写 | |
| 30 | DAC/trim settling | 未填写 | |
| 31 | quiet window | 未填写 | |
| 32 | 吞吐和背压 | 未填写 | |
| 33 | 定点格式 | 未填写 | |
| 34 | 舍入和饱和 | 未填写 | |
| 35 | 块平均和有效样本 | 未填写 | |
| 36 | 滤波、滞回和闭环 | 未填写 | |
| 37 | 单调搜索 | 未填写 | |
| 38 | 噪声与确认 | 未填写 | |
| 39 | 有限校准 FSM | 未填写 | |
| 40 | 成功与恢复 | 未填写 | |
| 41 | 不变量监视器 | 未填写 | |
| 42 | 模拟行为模型 | 未填写 | |
| 43 | 参数/故障扫描 | 未填写 | |
| 44 | 集成回归和证据 | 未填写 | |
| 45 | 门控与唤醒 | 未填写 | |
| 46 | 多电源意图 | 未填写 | |
| 47 | DFT/模拟测试模式 | 未填写 | |
| 48 | 实现评审与交付 | 未填写 | |

## 三个独立实验

| 实验 | 建议完成节次 | 核心验收 |
|---|---|---|
| power_sequencer | 25–28 | 顺序、MIN/MAX、ready、故障与 rearm |
| adc_measurement | 29–32 | acquisition、握手、标签、取消与背压 |
| block_average | 33–36 | 极值位宽、舍入、有效性与版本 |

先独立验证，再接校准 FSM；每个模块有独立 reference/monitor。后续实验不复用第一课 PASS 名称，不把课程目录当作已完成设计。

## 专项阶段门槛

- [ ] 25–28：接口契约有单位/域/默认值；所有等待有边界；故障输出与恢复明确。
- [ ] 29–32：采样与更新窗口正确；标签/epoch 不混淆；缓冲不无声覆盖。
- [ ] 33–36：极值/负数/half-tie/饱和通过独立数值参考；解释误差和滤波延迟。
- [ ] 37–40：搜索有前提和上限；快照/拥有权正确；成功与恢复证据完整。
- [ ] 41–44：独立模型、不变量、边界/随机用例、失败重放均有证据。
- [ ] 45–48 理论：功耗/电源/测试模式与数据依赖明确。
- [ ] 结课 RTL/综合：新项目的回归、映射与时序假设已审查。
- [ ] 可选工程阶段：物理/AMS/UPF/DFT/形式分别记录真实执行结果。

## 结课证据矩阵模板

| 检查 | 预期 | 实际证据 | 未验证条件 |
|---|---|---|---|
| 启动与 ready | MIN/ready/MAX 同时遵守 | | |
| 定点平均 | 16 个同版本有效样本，指定舍入 | | |
| 搜索与成功 | 有限块数，两次确认 | | |
| cancel/timeout | 保留 committed，恢复或关断 | | |
| 旧响应/停钟 | 不错误匹配新请求 | | |
| quiet/拥有权 | 无内部不允许的切换 | | |
| 状态/诊断 | W1C 和并发错误规则一致 | | |
| 综合与 STA | 结构/映射/约束有依据 | | |
| 模拟真实性 | 根据电路证据判断 | | |

## 当前开始点

仍从基础 01、02 开始。进入专项前先完成中期配置项目；首次专项任务是为一个你熟悉的模拟模块填写接口契约。若没有选定实际模块，就使用 [结课教学模型](07_project.md) 并明确标记假设。