Descrição
Fornece ferramentas para síntese lógica e verificação formal de circuitos digitais. É usado em fluxos de automação de projeto eletrônico para otimizar e verificar projetos de lógica sequencial.
Use ao desenvolver projetos de hardware, pesquisar EDA ou trabalhar com fluxos de verificação. É um pacote técnico especializado de linha de comando.