Isabelle Munn

Learn More
In order to improve the efficiency of behavioral model verification, it is important to determine the points of dem-inishing return for a given verification strategy. This paper compares the existing stopping rules and presents a new stopping rule based on static Bayesian technique. The new stopping rule was applied to verifying 14 complex VHDL models. We(More)
  • 1