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.
You could try Icarus Verilog, which is a free Verilog simulator.
According to the instructions here you can install Icarus Verilog on Mac OS X.