Como puedo generar una señal de 20KHz en Arduino Mega 2560??

Esto es para poder controlar unos IGBT´s para mi proyecto.....

La libreria pwm parece una buena candidata para hacer lo que pides: http://arduino.cc/forum/index.php/topic,117425.0.html

Salud.