Texas Instruments datasheet for the TPS51225C, a dual synchronous step-down controller with built-in 5 V and 3.3 V LDOs.