Page 440 - Engineering Digital Design
P. 440

410                     CHAPTER 9 / PROPAGATION DELAY AND TIMING DEFECTS



                                                                     Static 1    Static 0
                                                                     Hazards     Hazards
                                                                          A\ 1
                                                              A[1,2]  BXYZ <  >  BXYZ
                                                                         N A Jl     I A |0
                                                                     __ r
                                                              A[2,3]  BYZ

                                                                    _  - J A }1     f A 10
                                                             A[1,3]  BXYZ <  >  BXYZ
                                                                          A/ 1
                                                                                      8
                                                                        , ,      - f' !  0
                                                             B[1,2]  AXYZ <  >  AXYZ
                                                                        ^ B/1       [ B |0
                                                                          (b)
                                                                     Dynamic Hazards
                                                                         /A\ 0       / A\ 1
                                                             A[1,2,3]  BXYZ <  >  BXYZ <  >
                                                                         \A/1         \A/0
                                                                          (C)
                    FIGURE 9.16
                    Hazard analysis of function K in Eq. (9.21). (a) LPDD showing three paths for input A and two paths
                    for input B. (b) Path enabling requirements for A and B to produce static 1 and static 0 hazards,
                    (c) Path A enabling requirements for the production of dynamic hazards in function K.

                    of the coupled variable to the output yield both a logic 1 and logic 0 as in Fig. 9.16c. This
                    same information can be gleaned from a BDD, but, because of the difficulty in constructing
                    the BDD, the LPDD approach is preferred.
                      The timing diagram for Eq. (9.21) is shown in Fig. 9.17, where dynamic hazards of the
                    1-0-1-0 and 0-1-0-1 types occur following 1 —> 0 and 0 -> 1 changes in coupled variable















                   K(H) J - LJI _                TU - 1 _                   (1 - Ul

                  K*(H)  J - Ul _ n - 1 _ (1
                          * Indicates with static hazard cover
                    FIGURE 9.17
                    Timing diagram for function K in Eq. (9.21), showing dynamic hazards produced without and with
                    static hazard cover under input conditions given in Fig. 9.16c.
   435   436   437   438   439   440   441   442   443   444   445