TkGate

Simulates digital circuits with graphical editor, supports primitive elements and user-defined modules for hierarchical design, and includes tutorial and example circuits.