1位、字节与十六进制
闭卷重建位、字节与十六进制的对象、状态、事件、不变量与一个失败反例。
计算机系统导论与体系结构实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2无符号数与溢出
闭卷重建无符号数与溢出的对象、状态、事件、不变量与一个失败反例。
3补码与符号扩展
闭卷重建补码与符号扩展的对象、状态、事件、不变量与一个失败反例。
4移位与位掩码
闭卷重建移位与位掩码的对象、状态、事件、不变量与一个失败反例。
5整数转换与截断
闭卷重建整数转换与截断的对象、状态、事件、不变量与一个失败反例。
6IEEE 754结构
闭卷重建IEEE 754结构的对象、状态、事件、不变量与一个失败反例。
7位级数据实验
闭卷重建位级数据实验的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：无符号数与溢出必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为无符号数与溢出建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析无符号数与溢出时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：位、字节与十六进制必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为位、字节与十六进制建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析位、字节与十六进制时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：移位与位掩码必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为移位与位掩码建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析移位与位掩码时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：补码与符号扩展必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为补码与符号扩展建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析补码与符号扩展时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：IEEE 754结构必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为IEEE 754结构建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析IEEE 754结构时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：整数转换与截断必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为整数转换与截断建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析整数转换与截断时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：位级数据实验必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为位级数据实验建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析位级数据实验时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。