ABC — A System for Sequential Synthesis and Verification

ABC 把综合与验证绑在同一套数据结构和脚本接口上，是学习逻辑综合时几乎绕不开的系统。

阅读重点：AIG 表示、rewrite / refactor、等价性检查流程。

← 返回 Papers