- SSA-based Compiler Design
- 编程语言的中间表示
- 中间表示生成汇编指令
- 指令集架构
- Hardware and Software Support for Virtualization
- Popek-Goldberg定理
- QEMU KVM源码解析与应用
- 穿越操作系统迷雾
- Practical Binary Analysis
- Computer Architecture Tutorial Using an FPGA
- Verilog和数字电路
- 从数字电路到CPU
- ARM CPU
- ARM NEON
- Boole代数
- 二进制、逻辑和Boole代数
- 逻辑最小化的算法
- Computational Complexity A Modern Approach
- Boole电路 @
- Models of Computation Exploring the Power of Computing
- Electronic Design Automation Synthesis, Verification, and Test
- 逻辑综合
- Computer Architecture Complexity and Correctness
- 微架构设计和形式化证明
- IEEE 754浮点单元
- Handbook of Floating-Point Arithmetic