O FormalPro utiliza técnicas estáticas de verificação formal para provar que um design é funcionalmente idêntico à sua referência dourada. Isto é muito mais rápido do que a simulação tradicional no nível do portão - designs que levam dias ou semanas podem ser verificados em horas ou mesmo minutos usando o FormalPro.
Prove rapidamente que um design é funcionalmente idêntico - compare RTL com o gate netlist para síntese, netlists porta a porta para rodadas de layout. Use uma ferramenta e flua para todos os seus projetos.
Verificação rápida de projetos de portões multimilionários e redução dramática no tempo de verificação usando técnicas estáticas de verificação formal. O caminho mais rápido para o design correto com uma ferramenta de depuração abrangente que identifica a localização/causa dos erros e a capacidade única “e se” para investigar modificações de design dentro da sessão de verificação existente.
Participe da discussão sobre novos tópicos, funcionalidades, conteúdo e especialistas técnicos.
Aceda a notas detalhadas da aplicação do utilizador, recursos de formação e muito mais.
Ajudá-lo a alcançar o máximo impacto nos negócios, abordando desafios complexos de tecnologia e empresas com uma combinação única de experiência em desenvolvimento e design e especialização em metodologia.
