Synopsys VCS - HDL Simulator of System Verilog, Verilog, and VHDL for ASIC design and verification.
Cadence Incisive - System Verilog, Verilog, VHDL, SystemC HDL Simulator for ASIC Design and Verification
Riviera-PRO - System Verilog, Verilog. VHDL, SystemC, HDL simulator targeting ASIC and large FPGA designs.
VCS - Workforce management software for police & fire departments
gEDA Project - All about General Public License (GPL) and Electronic Design Automation (EDA) software tools
Logisim - Logisim is an educational tool for designing and simulating digital logic circuits.