Descrição
Arquivos de modelo de hardware BTOR2 podem ser analisados e processados com ferramentas genéricas de linha de comando. É útil para pesquisadores e desenvolvedores que trabalham com verificação formal, model checking ou sistemas de transição de hardware.
É um pacote especializado de ferramentas de desenvolvimento, não um aplicativo para usuários finais. Use quando um fluxo de verificação ou projeto de pesquisa usar explicitamente o formato BTOR2.