Verificação pela linha de comando

Subseções:
Substituir bibliotecas
Outras opções para verificação
Testar múltiplos arquivos Teste com vectores de teste

O Logisim inclui suporte básico para a execução de circuitos a partir da linha de comando. Isso destina-se tanto para ajudar a verificação orientada de projetos de circuitos, quanto para que instrutores realizem testes automatizados em soluções feitas por alunos.

Vamos começar por mostrar como executar um circuito pela linha de comando. Para o nosso exemplo, vamos supor que tenhamos construído o circuito a seguir em um arquivo chamado adder-test.circ. Ele utilizará um somador de dois bits como um subcircuito e iterará através de um contador com todas as 16 possíveis entradas para ele.

Após esse circuito ter sido construído, executaremos a linha de comando do Logisim, fornecendo o nome do projeto e a opção -tty opção com o parâmetro table.

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

Sem abrir qualquer janela, o Logisim carregará o circuito e começará a executá-lo, variando qualquer clock tão rápido quanto possível até concluir a propagação entre cada instante. Após cada propagação ter sido concluída, o Logisim carregará os valores atuais dos pinos de saída; caso tenham mudado na propagação anterior, os valores serão exibidos em formato delimitado por tabulações. Se houver um pino de saída marcado com a palavra especial halt (sensível ao caso), sua saída não será exibida - mas uma vez que o valor do pino chegue a 1, depois que uma propagação for concluída, o Logisim terminará a simulação.

Para o nosso exemplo, o Logisim mostrará a tabela abaixo. Na nossa exposição temos três colunas a, b e sum. Por termos dois pinos de saída correspondentes às duas entradas a e b para o somador de dois bits, essas saídas serão incluídas como as duas primeiras colunas da saída. E como há outro pino de saída correspondente no sum de dois bits, por isso, haverá uma terceira coluna. As colunas serão ordenadas da esquerda para a direita de acordo com a ordem de cima para baixo dentro do circuito.

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

Próximo: Substituir bibliotecas.