I am required to simulate Verilog programs as part of my syllabus. But, my college uses Xilinx ISE, and it isn't available for Mac.

So please help me out with the best software and also some detailed steps on how to install and use them.