• Logisim:

installation

 $ sudo apt-get install logisim

• Logisim-evolution: fork de logisim:

installation et démarrage:

 $ sudo apt-get install ant
 $ git clone https://github.com/reds-heig/logisim-evolution.git
 $ cd logisim-evolution
 $ ant run

• Logisim-iitd: un autre fork de logisim, démarrage:

 $ wget https://storage.googleapis.com/google-code-archive-downloads/v2/code.google.com/logisim-iitd/Logisim-IITD-2.0.jar
 $ java -jar Logisim-IITD-2.0.jar

• Logisim-cornell: un autre fork de logisim, démarrage:

 $ wget http://www.cs.cornell.edu/courses/cs3410/2015sp/logisim-2.7.2-cs3410-20140215.jar
 $ java -jar logisim-2.7.2-cs3410-20140215.jar

• Qucs
• GHDL simulateur VHDL (langage VHDL)

installation:

 $ sudo apt-get install gnat
 $ git clone https://github.com/tgingold/ghdl
 $ cd ghdl
 $ ./configure
 $ make
 $ sudo make install

• Icarus Verilog : langage Verilog,

installation:

 $ sudo apt-get install verilog # ou iverilog

ou à partir des sources, voir guide d'installation.

• Livre sur Logisim: Exploring Digital Logic with Logisim (eBook)

• Tutoriel sur Logisim: Tutoriel Logisim
• Documentation GHDL: GHDL

• Tutoriel Icarus Verilog: Démarrage