1指令集契约
闭卷重建指令集契约的对象、状态、事件、不变量与一个失败反例。
计算机系统导论与体系结构实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2寄存器与操作数
闭卷重建寄存器与操作数的对象、状态、事件、不变量与一个失败反例。
3算术逻辑指令
闭卷重建算术逻辑指令的对象、状态、事件、不变量与一个失败反例。
4访存与寻址
闭卷重建访存与寻址的对象、状态、事件、不变量与一个失败反例。
5分支与控制流
闭卷重建分支与控制流的对象、状态、事件、不变量与一个失败反例。
6机器码编码
闭卷重建机器码编码的对象、状态、事件、不变量与一个失败反例。
7最小ISA模拟器
闭卷重建最小ISA模拟器的对象、状态、事件、不变量与一个失败反例。