Dynamic Power Management of an AMBA-based Platform in SystemC