专项学习记录与验收
本表只记录个人学习/实验状态,全部初始为未填写。已有第一课工具结果见 进度记录,不能据此自动通过专项课。
每次学习记录
节次/日期:
目标与前置知识:
物理假设来源(真实指标/教学假设):
输入输出的单位、编码与时钟域:
运行前的预测/手算:
电路、状态、拥有权与边界:
源码版本/未提交改动:
工具、参数、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 开始。进入专项前先完成中期配置项目;首次专项任务是为一个你熟悉的模拟模块填写接口契约。若没有选定实际模块,就使用 结课教学模型 并明确标记假设。