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.
NSF Summer Workshop, Nov. ‘87