A recent thread asked for logic simulators for Linux.
I have a hearty suggestion of the same for Windows users or running in Windows compatibility boxes perhaps:

http://www.logiccircuit.org/

It is robust and fun.   Wonderful, really.
I have used it to design and test simple interface circuits and
recently a simulation of DEC H-500.  (soon to be blogged about...)