I am attempting to generate the design requirements for the TPS54160 and am defining the equations for frequency found on page 24 of the data sheet (equations 12 and 13). I need to know the value for Vout(sc) (output voltage during a short). I have completed the calculations using 0V as a worst case scenario but know that can't be right because I come up with a maximum frequency of 127.5kHz and TI webench has a maximum of 584.615 for a 50V input 3.3V output 0.5A output.