Dynamic power management : design techniques and CAD tools - Benini, Luca, 1967- (Kluwer, 1998)