Synopsys VCS - HDL Simulator of System Verilog, Verilog, and VHDL for ASIC design and verification.
KiCad - A Cross Platform and Open Source Electronics Design Automation Suite
ModelSim - ModelSim-Altera Software
Proteus PCB design - Proteus PCB design combines the schematic capture and ARES PCB layout programs to provide a...
Cadence Incisive - System Verilog, Verilog, VHDL, SystemC HDL Simulator for ASIC Design and Verification
QUCS - Qucs, briefly for Quite Universal Circuit Simulator, is an integrated circuit simulator which means you are able to setup a circuit with a graphical user interface (GUI) and simulate the large-signal, small-signal and noise behaviour of the circuit.