Multi-level Logic Synthesis

RTL === (logic synthesis) ==> netlist

Decomposition
Extraction
Factoring
Substituttion
Collapsing/Flattening

F = d * q + r

algebraic expressions
- product
- divisor

Boolean vs. Algebraic

What's an algebraic expression?
What's a cube-free expression?
What's a primary divisor?

Weak division

Rectangle Covering

What's a kernel?
- what is the level of a kernel?
What's a co-kernel?
- how to extract kernels and co-kernels from a function?