Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation - PATMOS 2005; Kanade, Takeo; Paliouras, Vassilis; Verkest, Diederik; Vounckx, Johan (Springer Berlin / Heidelberg, 2005)