Juyo-Min Shyu

  • Citations Per Year
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 Algebra [13]. 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)
  • 1