Patent ID: 6960930

Claim:
Method for determining a minimum or maximum switching activity of a digital circuit on the basis of a model of the digital circuit, with which method for determining the minimum switching activity a check is performed as to whether there is at least one disproving operational case of the digital circuit, in which the switching activity is less than an estimated value, and the check is repeated if there is a disproving operational case with an estimated value reduced by one step size and if there is no disproving operational case with an estimated value increased by one step size, or for determining the maximum switching activity a check is performed as to whether there is at least one disproving operational case of the digital circuit, in which the switching activity is greater than an estimated value and the check is repeated if there is a disproving operational case with an estimated value increased by one step size and if there is no disproving operational case with an estimated value reduced by one step size.