命令行验证

小节：
替换库
其他验证选项
测试多个文件
测试载体

Logisim-evolution 包括对从命令行执行电路的基本支持。 这样做的目的是帮助对电路设计进行脚本验证，并帮助教师对学生的解决方案进行自动测试。

我们将首先了解如何从命令行执行电路。 对于我们的示例，我们假设我们已在名为 adder-test.circ 的文件中构建了以下电路。 它使用两位加法器作为子电路，并使用计数器迭代所有 16 个可能的输入。

构建此电路后，我们从命令行执行 Logisim-evolution，提供项目的文件名和 -tty 选项以及 < table 参数。

java -jar logisim-filename.jar adder-test.circ -tty table

在不打开任何窗口的情况下，Logisim-evolution 加载电路并开始执行它，尽可能快地滴答任何时钟，同时完成每个滴答之间的传播。 每次传播完成后，Logisim-evolution 加载输出引脚的当前值； 如果与之前的传播相比有任何更改，则所有值都以制表符分隔的格式显示。 如果有一个输出引脚标有特殊单词 halt （区分大小写），则不会显示其输出 - 但一旦传播完成后该引脚的值达到 1，Logisim-evolution 就会结束模拟。

对于我们的示例，Logisim-evolution 显示下表。 因为我们有两个输出引脚对应于两位加法器的两个输入 a 和 b ，所以这些输出被包含为输出的前两列。 另外还有一个输出引脚 sum 对应两位加法器的输出，所以是第三列。 这些列根据电路内自上而下的顺序从左到右排序。

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

下一节: 替换库 .