Models and algorithms for bounds on leakage in CMOS circuits | IEEE Journals & Magazine | IEEE Xplore