Looking for a processor for a new project. LM4F232 comes to mind. However, when looking at the data manual, I noticed that the PWM in LM4F232 can only be updated when PWM counter is zero. This feature will affect some systems that requires high performance. Any comments?