ModelSim
Synopsys VCS
Riviera-PRO
Cadence Incisive
gEDA Project
VCS
Logisim
Proteus PCB design
Digital Logic Design
Logisim
BOOLR
Digital
Logicly
Wired Logic
Atanua
CircuitVerse.org
ModelSimSynopsys VCS - HDL Simulator of System Verilog, Verilog, and VHDL for ASIC design and verification.
Logisim - Logisim is an educational tool for designing and simulating digital logic circuits.
Riviera-PRO - System Verilog, Verilog. VHDL, SystemC, HDL simulator targeting ASIC and large FPGA designs.
BOOLR - Open-source digital logic simulator
Cadence Incisive - System Verilog, Verilog, VHDL, SystemC HDL Simulator for ASIC Design and Verification
Digital - A simulator for digital circuits.