Visual logic designer + simulation
I've heard good from Qucs (which has some basic digital logic, including VHDL apparently) and tkgate, which is an event driven logic simulator. Both are free open source software.