An Alternate View of Synthesis:Implications
Redundant Encodings: e.g One-hot for controllers; redundant arithmetic (Matsushita, ISSCC89); Wallace Tree as hierarchical encoding; Carry-Save as space-time encoding.
Finite-State Machine: Special case of constrained encoding: ouput encoding of secondary outputs = input encoding of secondary inputs.