Generating PWM from PID to control DC motor

actually am working on buck-boost converter to control speed of dc motor so i need to confirm that pwm i sending from arduino is 20khertz