S32k312的PLL如何计算？

我在我们的设计中使用了 S32K312 微芯片。可以请帮我计算 PLL 输出频率。我们使用 40 MHz 的外部晶体振荡器。你能提供一个例子计算吗？如果我们使用 40 MHz 晶体振荡器可以吗？
请提供S32K312的时钟计算器。