IRSIM (A digital circuit simulator)

IRSIM is a tool developed at Stanford, for simulating digital circuits.
It is a "switch-level" simulator; that is, it treats transistors as
ideal switches. IRSIM shares a history with magic, although it is an
independent program.