C-Element Hazard Example - 2
18/3/2014
CE-653 - Hazards and Analysis Methods
36
}
13-value Logic equivalent for 00
à
11
à
10 transitions
}
}
}
}
}
}
}
}
By not letting
feedback
settle, 13-value logic detects
hazard!
Time
Frame
a
b
ab
bc
ac
C
c
1
<0, 0, 0>
<0, 0, 0>
<0, 0, 0>
<0, 0, 0>
<0, 0, 0>
<0, 0, 0>
<0, 0, 0>
2
<0, ^, 1>
<0, ^, 1>
<0, ^, 1>
<0, 0, 0>
<0, 0, 0>
<0, ^, 1>
<0, 0, 0>
3
<0, ^, 1>
<0, ^, 1>
<0, ^, 1>
<0, 0, 0>
<0, 0, 0>
<0, ^, 1>
<0, ^, 1>
4
<0, ^, 1>
<0, ^, 1>
<0, ^, 1>
<0, ^, 1>
<0, ^, 1>
<0, ^, 1>
<0, ^, 1>
5
<1, 1, 1>
<1, v, 0>
<1, v, 1>
<1, ^, 1>
<0, ^, 1>
<1, X, 1>
<0, ^, 1>
6
<1, 1, 1>
<1, v, 0>
<1, v, 1>
<1, ^, 1>
<0, ^, 1>
<1, X, 1>
<1, X, 1>