Is there a free cross-platform tool for pure digital gate-level schematic design and simulation?
tkgate. Purely digital event driven gate-level circuit simulation and presumably schematic capture. Should work on many operating systems, including Windows, Mac OS X, Linux and FreeBSD. Also, it's open source.