General Description:
VCCAUX is missing from the XPower power estimate for the XC4VSX55.
This problem has been fixed in the latest 7.1i Service Pack available at:
http://support.xilinx.com/xlnx/xil_sw_updates_home.jsp
The first service pack containing the fix is 7.1i Service Pack 3.