Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations

Figure 2

A sequential DES.