11.12 STATE MINIMIZATION 547
the state code assignments are chosen by using special partitioning methods that avoid
ORGs and other serious timing problems. These partitioning methods, not involving state
assignment rules 1 and 2, are used to construct the state table from which the S matrix is
derived. These methods are also applicable to synchronous D flip-flop designs, but with an
increased number of state variables required — the price of avoiding ORGs.
11.12 STATE MINIMIZATION
Formal state minimization procedures are available that involve state tables, implication
charts, merger graphs, and the like. Further Reading at the end of this chapter cites references
on this subject. However, such procedures are rarely used in modern state machine design. ...