Xilinx XC3S400 and XC3S500E name comparison