11.3 DETECTION AND ELIMINATION OF STATIC HAZARDS 509
in Fig. 11.18b, clearly shows that a static 0-hazard is not possible for the transition 001 →101.
This is so because the b →c branching condition in Fig. 11.14a requires that input T be
active, which is contrary to the requirements indicated by the coupled terms, (S
¯
T ). Thus,
independent of whether or not there is a match between the logic character of the flip-flops
and that of the output logic, no s-hazard is possible in Y
POS
. Therefore, the addition of
hazard cover is not applicable (NA) as indicated in Fig. 11.15b. Notice that the gate/input
tallies for Y
POS
and Y
SOP
are 3/8 and 4/10, respectively, exclusive of inverters and hazard
cover. If hardware cost is the only consideration, the best choice ...