Choosing an inductor for DC-DC
The TPS54719 is a Synchronous Step Down Converter with internal MOSFETs.
Quoted from sec. 7.1: &quot;The integrated 30 mΩ MOSFETs allow for high efficiency power supply designs with continuous output currents up to 7 A&quot;. Not crystal clear because it suggests a continuous current of 7A per MOSFET, but you have duty cycle, so you could go beyond that.
The current rating is shown vs. temperature in Fig. 17 &amp; 18 of the datasheet.

There is also &quot;overcurrent protection&quot; and &quot;reverse overcurrent protection&quot;. The current limit in the datasheet is 10.5 A (typ) =&gt; typical! see below for margins on inductor current.
In the design example TI says &quot;the RMS inductor current is 7.017 A and the peak inductor current is 7.84 A. The chosen inductor is a Würth 744311150 1.5 μH. It has a saturation current rating of 14 A (30% inductance loss) and an RMS current rating of 11 A ( 40 ºC temperature rise).&quot; As you see, one thing is RMS current (causing heating) and one thing is saturation current (causing inductance reduction, and further increase of the flowing current). The margins for the selection of the inductor are significant as it should be. The reasons? First, all such parameters are approximate. Then, saturation is measured as an already 30% reduction of inductance: you should stay clear off that. Third, in case of transient peak output current you need some margin.
&quot;The current flowing through the inductor is the inductor ripple current plus the output current.&quot; is also not such a clear sentence, because the ripple may be peak ripple, peak-peak ripple, or else. @winny spoke of &quot;peak current&quot;.
Last remark: to say the obvious, 1 peak of current does not heat your MOSFETs (one switching cycle only, or a few), but saturates your inductor.
So, yes, 24A saturation current is a conservative choice. Unless, you know, too expensive, too large, not available with the desired range of inductance values.