Policy optimization for dynamic power managementState assignment for low power dissipationSynthesis of Low-Power Selectively-Clocked Systems from High-Level Specification