BOOLR - Open-source digital logic simulator
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
Logisim - Logisim is an educational tool for designing and simulating digital logic circuits.
Oregano - oregano - An electrical engineering tool for GNOME
Digital Logic Design - Digital Logic Design is a Software tool for designing and simulating digital circuits.
Circuit Simulator - Animated electronic circuit simulator using ideal components to visualize voltage and current.