Command-line verification
Subsections:
Substituting libraries
Other verification options
Testing multiple files
Logisim includes basic support for executing circuits from the command-line. This is intended both to help with scripted verification of circuit designs and to help instructors perform automated testing of students' solutions.
We'll start by seeing how to execute a circuit from the command line. For our example, we'll suppose we've built the below circuit in a file named adder-test.circ. It uses a two-bit adder as a subcircuit and iterates using a counter through all 16 possible inputs to it.
After this circuit has been built, we then execute Logisim from the command line,
providing the filename of the project
and the -tty
option with the table
parameter.
java -jar logisim-filename.jar adder-test.circ -tty table
Without bringing up any windows, Logisim loads the circuit and begins to execute it,
ticking any clocks as fast as it can while completing the propagation between each tick.
After each propagation is completed, Logisim loads the current values of the output pins;
if any have changed from the previous propagation,
then all values are displayed in tab-delimited format.
If there is an output pin labeled with the special word halt
,
its output is not displayed — but once the pin's value reaches 1 after
a propagation is completed, Logisim ends the simulation.
For our example, Logisim displays the table below. Because we have two output pins corresponding to the two inputs a and b into the two-bit adder, these outputs are included as the first two columns of the output. And there is another output pin corresponding to the two-bit adder's output, so it is the third column. The columns are ordered left-to-right according to the top-down ordering within the circuit.
00 00 000 01 00 001 10 00 010 11 00 011 00 01 001 01 01 010 10 01 011 11 01 100 00 10 010 01 10 011 10 10 100 11 10 101 00 11 011 01 11 100 10 11 101 11 11 110
Next: Substituting libraries.
