1输入输出与电气逻辑边界
闭卷重建输入输出与电气逻辑边界的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2上拉下拉与去抖
闭卷重建上拉下拉与去抖的对象、状态、事件、不变量与一个失败反例。
3定时器计数与比较
闭卷重建定时器计数与比较的对象、状态、事件、不变量与一个失败反例。
4捕获、溢出与时间基准
闭卷重建捕获、溢出与时间基准的对象、状态、事件、不变量与一个失败反例。
5波形、抖动与截止期
闭卷重建波形、抖动与截止期的对象、状态、事件、不变量与一个失败反例。
6实验：GPIO去抖状态机
闭卷重建实验：GPIO去抖状态机的对象、状态、事件、不变量与一个失败反例。
7实验：定时器比较事件
闭卷重建实验：定时器比较事件的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：上拉下拉与去抖必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕上拉下拉与去抖用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：上拉下拉与去抖不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：输入输出与电气逻辑边界必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕输入输出与电气逻辑边界用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：输入输出与电气逻辑边界不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：捕获、溢出与时间基准必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕捕获、溢出与时间基准用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：捕获、溢出与时间基准不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：定时器计数与比较必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕定时器计数与比较用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：定时器计数与比较不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：GPIO去抖状态机必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：GPIO去抖状态机用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：GPIO去抖状态机不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：波形、抖动与截止期必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕波形、抖动与截止期用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：波形、抖动与截止期不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：定时器比较事件必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：定时器比较事件用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：定时器比较事件不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。