Synopsys VCS - HDL Simulator of System Verilog, Verilog, and VHDL for ASIC design and verification.
LTspice - LTspice® is a high performance SPICE simulation software, schematic capture and waveform viewer with enhancements and models for easing the simulation of analog circuits.
ModelSim - ModelSim-Altera Software
Circuit Tree - Design and order Boards in Minutes
Cadence Incisive - System Verilog, Verilog, VHDL, SystemC HDL Simulator for ASIC Design and Verification
Circuit Simulator - Animated electronic circuit simulator using ideal components to visualize voltage and current.