© LRS - UNI Erlangen-Nuremberg

Synthesis

Two state processes can lead to smaller generic net list
and therefor to better synthesis results
=> two state processes
Mealy Example:

Two State Processes

two FlipFlops for state;
two selectors (multiplexer) for the outputs Y and Z;
one selector for nextstate.
=> 2 D-FlipFlops

One State Process

two FlipFlops for state;
two selectors (multiplexer) for the outputs Y and Z;
two selectors for state ("nextstate" logic AND FlipFlop control logic).
=> 2 JK-FlipFlops, because of the control logic connected to the FlipFlops.