Descrição
Projetos de lógica digital podem ser sintetizados e verificados formalmente com a ferramenta de pesquisa ABC. É útil para desenvolvedores de hardware, pesquisadores de EDA e estudantes que trabalham com lógica sequencial, otimização e verificação.
Esta é uma ferramenta especializada de engenharia. Os resultados dependem de modelos de entrada, restrições e suposições de verificação, então revise as saídas antes de usá-las em decisões de hardware.