Integrated Circuit And System Design Power And Timing Modeling Optimization And Simulation 13th International Workshop Patmos 2003 Torino Italy September 10 12 2003 Proceedings