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
Fritzing - Fritzing is an open-source initiative to support designers, artists, researchers and hobbyists to...
Cadence Incisive - System Verilog, Verilog, VHDL, SystemC HDL Simulator 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.