13-Value Example
CE-653 - Hazards and Analysis Methods
27
}
CLK
= <
1, v, 0
>,
D
= <
1, 1, 1
>
}
Evaluate node
e
}
a
=
b
= <
1, v, 0
>, c = <
0, ^, 1
>, e = <
1, X, 1
>
}
Very conservative as it is based on zero delay gate model
}
assumes no control over gate delays
18/3/2014
SR latch is active low – d = (D . CLK)’, e = ((D . CLK)’ . CLK)’ = ((D’ + CLK’) . CLK)’ =
(D’ . CLK + CLK’ .CLK)’ = (D’ . CLK)’ . (CLK’.CLK)’ = (D’ . CLK)’ . 1