Are the two fequencies always a factor of 2X apart? (10kHz and 20kHz)
What else does this PIC need to do?
Do the two PWM need to be in phase?