Tai-Ming Parng

Learn More
In this paper we present a new approach to solving the false path problem. The method is based on our previous work on Timed Boolean Calculus. Given a logic circuit, we first derive timed boolean expressions to model its dynamic behavior. Then, for each term in the expressions, we compute its corresponding sensitizability function, expressed in conjunction(More)
We present currently the first approach to test wave pipelined circuits. Wave faults are identified and well modeled. The fault coverage is obtained by statistics and fault probabilities. We also present the robust wave test, and give a TG algorithm, by testing wave pipelined and ISCAS combinational circuits, capable of reaching on average 85.8% fault(More)