Logisim: software gratuito de diseño de circuitos digitales

Aquí tienes el sitio de descarga:
http://sourceforge.net/projects/circuit/