Hazard
Detection using Ternary Algebra
CE-653 - Hazards and Analysis
Methods
15
}Theorem 1:
}A combinational logic
network contains a hazard for an input vector transition from A
to B, where:
}A = (a1,…, ap, ap+1, …, an)
}B = (a1,…, av, ap+1, …, an)
}A/B = (1/2,…, 1/2, ap+1, …, an)
}iff (if and only if)
1.f(A) = f(B)
≠1/2
2.f(A/B) = 1/2
}Proof:
}Based on previous
properties
18/3/2014