Pspice - OrCAD PSpice technology provides the best, high-performance circuit simulation to analyze and refine your circuits, components, and parameters before committing to layout and fabrication

Synopsys VCS - HDL Simulator of System Verilog, Verilog, and VHDL for ASIC design and verification.

Solve Elec - Solve Elec is a free educational program to draw and analyze electrical circuits.

ModelSim - ModelSim-Altera Software

PCBWeb - PCBWeb is a 100% free Windows desktop CAD application for designing and manufacturing electronics...

Cadence Incisive - System Verilog, Verilog, VHDL, SystemC HDL Simulator for ASIC Design and Verification