Dynamic Power Management Design Techniques and CAD Tools - Benini, Luca; Micheli, Giovanni De (Springer US, 1998)