| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051 |
- <html>
- <head>
- <meta http-equiv="content-type" content="text/html; charset=UTF-8">
- <title>Проверка из командной строки</title>
- </head>
- <body bgcolor="FFFFFF">
- <h1>Проверка из командной строки</h1>
- <blockquote><em>Подразделы:</em> <br><a href="sub.html">Подстановка библиотек</a> <br><a href="other.html">Другие параметры проверки</a> <br><a href="multi.html">Проверка нескольких файлов</a>
- </blockquote>
- <p>Logisim включает базовую поддержку выполнения схем из командной строки. Это сделано для проверки схем с помощью скриптов и чтобы помочь преподавателям выполнять автоматическую проверку работ учащихся.</p>
- <p>Начнем с того, как выполнить схему из командной строки. Для примера мы предположим, что сохранили схему, показанную ниже, в файл с именем <tt>adder-test.circ</tt>. Она использует двухбитный сумматор как подсхему и пробегает все 16 возможных комбинаций на входах, используя счётчик.</p>
- <blockquote><img src="../../../../en/img-guide/verify-adder-test.png" width="217" height="131"></blockquote>
- <p>После постройки этой схемы мы запустим Logisim из командной строки, передавая имя файла проекта и параметр <q>-tty</q> с аргументом <q>table</q>.</p>
- <blockquote><tt>java -jar logisim-filename.jar adder-test.circ -tty table</tt></blockquote>
- <p>Без вывода каких-либо окон Logisim загрузит схему и начнёт выполнять её, производя срабатывания тактовых генераторов так быстро, как только может, выполняя просчёт между каждым срабатыванием. После завершения каждого просчёта Logisim снимает значения с выходных контактов; если любое из них изменилось после предыдущего просчёта, то выводятся все значения, разделённые символами табуляции. Если есть выходной контакт, помеченный специальным словом <q>halt</q>, то значение на нём не выводится, но как только оно становится 1 после завершения просчёта, Logisim завершает моделирование.</p>
- <p>В нашем примере Logisim выводит таблицу, представленную ниже. Поскольку у нас есть два выходных контакта, соответствующих входам <var>a</var> и <var>b</var> двухбитного сумматора, эти выходы включены как первые два столбца. И есть другой выходной контакт, соответствующий выходу двухбитного сумматора, так что он в третьем столбце. Столбцы идут слева направо в порядке, соответствующем порядку сверху вниз в схеме.</p>
- <blockquote><pre>
- 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
- </pre></blockquote>
- <p><strong>Далее:</strong> <a href="sub.html">Подстановка библиотек</a>.</p>
- </body>
- </html>
|
