Bounding Switching Activity in CMOS Circuits Using Constraint Resolution. - Jindrich Zejda; Eduard Cerny; S. Shenoy; Nicholas C. Rumin (ED&TC, 1996)