What: TkGate
Where: http://www.tkgate.org/
Description: TkGate is a event driven digital circuit simulator with a tcl/tk-based graphical editor.
TkGate supports a wide range of primitive circuit elements as well as user-defined modules
for hierarchical design.