Hazard Detection using Ternary Algebra
CE-653 - Hazards and Analysis Methods
16
}For functions f1, f2
}Consider input change:
}w’x’y’ à wxy’
}is a hazard produced for f1, f2?
}Must determine:
}f(w’, x’, y’),
f(½ , ½, y’),
f(w, x, y’)
}Outcome:
}(1, ½, 1)
}f1, f2 both contain a hazard
}
}
}
hazard-detection-ternary.jpg
18/3/2014