[STM32H743VI, RM0433] Is the formula to calculate the WWDG timeout wrong?
I have recently faced with problem that the real timeout and calculated aren't equal.
The formula is described as in the screenshot below.

But the WWDG initiates a reset when the counter (T[5:0]) changes value from 0x40 to 0x3F. Then we have only 128 - 64 (0x40) counts until a reset occurred. Shouldn't the formula be like t_wwdg = t_pclk * 4096 * 2 ^ (WDGTB[2:0]) * (T[5:0] + 1 - 0x40) ?
