Проверка из командной строки
Подразделы:
Подстановка библиотек
Другие параметры проверки
Проверка нескольких файлов
Logisim включает базовую поддержку выполнения схем из командной строки. Это сделано для проверки схем с помощью скриптов и чтобы помочь преподавателям выполнять автоматическую проверку работ учащихся.
Начнем с того, как выполнить схему из командной строки. Для примера мы предположим, что сохранили схему, показанную ниже, в файл с именем adder-test.circ. Она использует двухбитный сумматор как подсхему и пробегает все 16 возможных комбинаций на входах, используя счётчик.
После постройки этой схемы мы запустим Logisim из командной строки, передавая имя файла проекта и параметр -tty
с аргументом table
.
java -jar logisim-filename.jar adder-test.circ -tty table
Без вывода каких-либо окон Logisim загрузит схему и начнёт выполнять её, производя срабатывания тактовых генераторов так быстро, как только может, выполняя просчёт между каждым срабатыванием. После завершения каждого просчёта Logisim снимает значения с выходных контактов; если любое из них изменилось после предыдущего просчёта, то выводятся все значения, разделённые символами табуляции. Если есть выходной контакт, помеченный специальным словом halt
, то значение на нём не выводится, но как только оно становится 1 после завершения просчёта, Logisim завершает моделирование.
В нашем примере Logisim выводит таблицу, представленную ниже. Поскольку у нас есть два выходных контакта, соответствующих входам a и b двухбитного сумматора, эти выходы включены как первые два столбца. И есть другой выходной контакт, соответствующий выходу двухбитного сумматора, так что он в третьем столбце. Столбцы идут слева направо в порядке, соответствующем порядку сверху вниз в схеме.
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
Далее: Подстановка библиотек.
