C-Element Hazard Example
18/3/2014
CE-653 - Hazards and Analysis Methods
35
}
13-value Logic equivalent for 00
à
11
à
01 transitions
}
}
}
}
}
}
}
}
By not letting
inputs
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, v, 0>
<0, ^, 1>
<0, X, 1>
<0, ^, 1>
<0, ^, 1>
<0, X, 1>
<0, ^, 1>
6
<1, v, 0>
<0, ^, 1>
<0, X, 1>
<0, X, 1>
<0, X, 1>
<0, X, 1>
<0, X, 1>