Hi,
If TPS65086401 is used to power Xilinx Zynq US+ 3CG device, the VCCINT specifications are:
VCCINT: 0.825V (min), 0.85V (typ.), 0.876V (max.)
However, what is the TPS65086401 BUCK2 specification for 0.85V output?
Is it with the tolerance of -30mV / +40mV?
But if in this case, would it violates the Xilinx Zynq US+ specifications?