}Ternary Analysis for 00à11à10 transitions
}
}
}
}
}
}
}
}
}Does not detect sequential hazard – why?
}No assumption in timing between 11à10 transitions (Fundamental Mode Operation)
Time Frame
a
b
ab
bc
ac
C
c
1
0
0
0
0
0
0
0
2
1/2
1/2
1/2
0
0
1/2
0
3
1/2
1/2
1/2
0
0
1/2
1/2
4
1/2
1/2
1/2
1/2
1/2
1/2
1/2
5
1
1
1
1/2
1/2
1
1/2
6
1
1
1
1/2
1/2
1
1
7
1
1
1
1
1
1
1
8
1
1/2
1/2
1/2
1
1
1
9
1
0
0
0
1
1
1
C-Element Hazard Example
18/3/2014
CE-653 - Hazards and Analysis Methods
34