Article In the MAXREFDES1238, how can I measure output current ripple of the VCCINT rail?

You could apply a differential probe on the Isense resistor to measure current per phase. Then use the following equation to calculate output current per phase:

Iout = Vdiff/300ohm*Ki, where Ki = 100000 (current sense gain 10uA/A).