Logisim - Logisim is an educational tool for designing and simulating digital logic circuits.
Synopsys VCS - HDL Simulator of System Verilog, Verilog, and VHDL for ASIC design and verification.
BOOLR - Open-source digital logic simulator
ModelSim - ModelSim-Altera Software
Logicly - - Design circuits quickly and easily with a modern and intuitive user interface with drag-and-drop...
Cadence Incisive - System Verilog, Verilog, VHDL, SystemC HDL Simulator for ASIC Design and Verification