An Alternate View of Synthesis
An Alternate View of Synthesis
Ordered set of signals crossing cut represent
an encoding of an abstract type
m Logic synthesis: For all possible independent cuts, choose an encoding of the cut (in time and "wires") such that the objective function (literal count, performance, etc.) is optimized.