Xilinx Ise 9.2i — Download !full!

Using ISE Simulator (ISim) or ModelSim to verify logic.

(Yosys + nextpnr)