数字 IC 形式化验证导论（自拟大纲）

模块草案

1. 时序逻辑与断言（SVA 概念级）
2. BMC / 归纳证明
3. 等价性检查与组合证明
4. 定理证明器初窥（Lean / Isabelle 任选）

状态会随进度更新。

← 返回 Courses