I m trying to generate the PWM channel 0. I programmed the pll clock to be 100 Mhz. Then try to generate a pwm of frequency 100 KHz. I am getting only 80 Khz. The code below. Could you help.
SYSCTL_OSC_MAIN |
SYSCTL_USE_PLL |
SYSCTL_CFG_VCO_480), 100000000);
{
SysCtlPeripheralEnable(SYSCTL_PERIPH_PWM0);
SysCtlPWMClockSet(SYSCTL_PWMDIV_1);
SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOF);
GPIOPinConfigure(GPIO_PF0_M0PWM0);
GPIOPinConfigure(GPIO_PF1_M0PWM1);
GPIOPinTypePWM(GPIO_PORTF_BASE, GPIO_PIN_1);
GPIOPadConfigSet(GPIO_PORTF_BASE, GPIO_PIN_0, GPIO_STRENGTH_10MA, GPIO_PIN_TYPE_STD);
PWM_GEN_MODE_NO_SYNC);
PWMGenPeriodSet(PWM0_BASE, PWM_GEN_0, 1000);
PWMPulseWidthSet(PWM0_BASE, PWM_OUT_0,500);
PWMOutputState(PWM0_BASE, PWM_OUT_1_BIT | PWM_OUT_0_BIT, true);
// Enables the counter for a PWM generator block.
PWMGenEnable(PWM0_BASE, PWM_GEN_0);