Logic Synthesis

逻辑综合

1. RTL
2. Technology-Independent Synthesis
3. Technology Mapping
4. netlist

两级逻辑化简

• SOP (Sum of Products)：第一层为多个与门，第二层为一个或门。
• POS (Product of Sums)：第一层为多个或门，第二层为一个与门。
• 优化目标：最小化变量出现的次数（literal count）。
• 化简方法：精确方法（如 QM）和启发式方法（如 ESPRESSO）。

Caution

随着输入增加，表达式呈指数级增长，不适合大规模设计。

多级逻辑化简

Technology-Independent Synthesis

• 布尔逻辑网络 (Boolean Logic Network)：节点为两级逻辑 (SOP 形式) 的图。
• 优化目标：最小化变量出现的次数（literal count）。
• 化简方法：
  • 化简节点内部逻辑函数 (两级逻辑化简)
  • 删除节点：把小的节点和后续节点合并。
  • 增加节点：提取公因式，把大的节点分解成更小的节点。

Technology mapping

• 网表（netlist）：节点为