A logic emulator of the finest caliber that allows exploring your PC logic.
For experimenting and learning about logic gates.
A Verilog simulation and synthesis tool that operates as a compiler.