关于51单片机的问题

怎样使用51单片机输出一个12khz的pwm波，可调可调占空比的代码

用定时器做周期性中断，中断中计算当前占空比是否翻转io口，是的话翻转