Mixed Signal SystemC modelling of a SoC architecture with Dynamic Voltage Scaling