Schaltwerk is an open-source simulator for digital logical circuits.