A decomposition procedure for register-transfer level power management. - Elena Fomina; Andres Keevallik; Margus Kruus; Alexander Sudnitson (CompSysTech, 2003)