Programa didáctico de diseño y simulación de circuitos lógicos digitales

Logisim
Gratis
Offline
http://www.cburch.com/logisim/index.html

Logisim es un programa de diseño y simulación de circuitos lógicos digitales, desde los más sencillos hasta CPUs completas. Desde octubre de 2014 el desarrollo de este programa ha sido abandonado.
Es un programa Java, por lo que se necesita tener instalado Java Runtime Environment. El programa no necesita instalación: hay que ejecutar directamente el programa logisim-win-2.3.0.exe. El programa se ejecuta en inglés, pero se puede cambiar al español mediante el menú File > Preferences > International > Language.