TkGate is a graphical editor and event-driven simulator for digital
circuits with a tcl/tk-based interface.  Supported circuit elements
include basic gates (AND, OR, etc.), tri-state gates, adders,
multipliers, registers, memories and mos transistors.  Hierarchical
design is also supported with support for user defined modules.  Save
files are based on the Verilog netlist format.