Hardware verification: ternary algebra versus a hybrid method
Hasan Krad · 2003
Two different methods, based on ternary algebra and a hybrid method, are considered to detect hazards in combinational logic designs. Problems raised by the first technique are solved by using the second approach, and a time complexity improvement is shown. An improvement over other techniques is shown. In particular, the time complexity and the completeness of the approach are shown.>