Using the switches (SW3-1,2,3) you can test your design in hardware.
You will notice that the Xilinx board LEDs are ACTIVE LOW. This means the LED will be OFF when the output is HIGH.