SystemC extension for power specification, simulation and verification