Page 581 - Engineering Digital Design

BIBLIOGRAPHY 551

For the more theoretically inclined, the texts by Dietmeyer, De Micheli, and Kohavi, are
recommended.

[24] D. L. Dietmeyer, Logic Design of Digital Systems, 2nd ed. Allyn and Bacon, Inc., Boston, MA,
1978.
[25] G. De Micheli, Synthesis and Optimization of Digital Circuits. McGraw-Hill, New York, 1994.
[26] Z. Kohavi, Switching and Finite Automata Theory. McGraw-Hill, New York, 1978.

There are no known simple references on the subject of the array algebraic approach to
logic design of synchronous state machines. The advanced reader may find the treatment
by Dietmeyer (previously cited) helpful, but some background in array Boolean algebra
notation is needed. For references covering Petrick's algorithm and related subjects, the
reader is referred to the texts by Hayes, Nelson et al, and Roth, all previously cited.

PROBLEMS
11.1 Inspect all three state diagrams in Figure P10.7 for possible output race glitches
(ORGs) and static hazards. If any exist, indicate their origin and type following
the examples in Sections 11.2 and 11.3.
11.2 Shown in Fig. PI 1.1 are the state diagrams for two fictitious FSMs.

QiTifY f 101 H — ( 011 JQIT Y C J 101 ) ( 011 IPATif X

X+Y

(a)

FIGURE P11.1