How to know if a 125kHz carrier is generated?

Use the capture and compare on the timers.