专项学习记录与验收

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

每次学习记录

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