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(More)