Ok,

I found a dumb error. The HPWM is working and I should have been looking at pin 13, not 12. I notice that the PWM frequency is 16X the entered value of the HPWM command at 64MHz, i.e. 10kHz entered yields 160kHz output. This means that the maximum frequency I can get out using the HPWM command is 32767 x 16 = 524,272 Hz. I think I should be able to use the HPWM command to start everthing and then change the Timer2 register to change the frequency. Does anyone know if this is right? I tried this but no luck so far.

-Tim