SystemC-WMS modeling of control techniques for switching amplifiers targeting polar RF transmitters