DSP and standard peripheral library for the STM32F4 series