Aristotle

The open-source digital logic simulator for Windows, Linux, and Mac.