En general, los temporizadores integrados en los microcontroladores tienden a tener un prescaler antes que ellos, por lo que el reloj del temporizador no necesita ser la frecuencia del reloj del sistema. Una vez que tenga la frecuencia máxima y mínima disponible desde el prescaler, esto le dará la resolución de tiempo del temporizador.
Lamentablemente, el documento al que está vinculado parece ser para una placa de desarrollo que contiene el microcontrolador, en lugar de para el propio microcontrolador. El último documento contendrá la información que necesita.
Dado el reloj de 64MHz, tienes una resolución de tiempo de 15.625nS.
Todavía faltan las especificaciones para el hardware PWM adjunto al temporizador.
La frecuencia máxima de PWM que puede alcanzar depende de ese hardware. Si es completamente programable y puede funcionar a la máxima velocidad, entonces, en teoría, podría producir un ciclo de trabajo del 50% a 32MHz. Sin embargo, probablemente querrá una mejor resolución que esa, tal vez 256 niveles, lo que le daría 64M / 256 = 250kHz.
Si el hardware PWM le permite 32 bits, entonces el más lento podría ser 64M / 2 ^ 32 = 15mHz. Sin embargo, es probable que esto ocurra, rara vez obtiene más de 16 bits para los registros PWM, lo que le otorga un mínimo de 976Hz.
Pero si hay un prescaler antes del temporizador, las tasas mínimas podrían ser aún más bajas.
Necesitas encontrar más documentación.