Verilog Simulators

There are many different verilog simulators. Some are free while some are very expensive. Some verilog simulators will support the libraries you are interested in simulating. Most likely you will be using whatever simulator the company you are working for wants to use. But if you feel like exploring other options here is a list of verilog simulators

ModelSim
VCS
Icarus Verilog
ISE Simulator

There are many more but that should get you started!