Nexys2 Xilinx Spartan 3E FPGA 500K gates