Hard Bounds on the Probability of Performance With Application to Circuit Analysis · Study