Links para sites de download de programas para auxilio na disciplina:
Digital Works 3.05 - Programa para projetos de circuitos digitais para Windows (pode ser instalado no Linux com o uso do Wine)
The Logic Lab - Página web para desenhar e simular circuitos simples que utilizam as portas lógicas básicas.
Logisim - Simulador de circuitos escrito em Java, arquivo .jar, muito fácil de usar.
Hades - Simulador de circuitos escrito em Java, arquivo .jar, fácil de usar.
gLogic - Programa instalado nos laboratórios do IMC-UNIFEI, para as distribuições do Linux Debian/Ubuntu/Mint e derivados do Debian basta utilizar o gerenciador de pacotes para instalar.
Caso você não queira nenhum dos programas acima você pode consultar este site e encontrar algum programa que lhe agrade.
Simuladores: