Reading exact FPGA Frequency from SDK

  • Hello everybody,

    is it possible to read the exact FPGA frequency using the SDK?
    I know I can read FG_FPGA_CLK. but this is int only. In my Applet, I have a design frequency of 312.5 MHz, in MicroDisplayX this parameter reads 312 MHz. Which one is true? I have to calculate some timer settings based on this value, so it has to be as accurate as possible.