O FormalPro utiliza técnicas estáticas de verificação formal para provar que um design é funcionalmente idêntico à sua referência dourada. Isso é muito mais rápido do que a simulação tradicional no nível do portão - projetos 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 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 drástica no tempo de verificação usando técnicas estáticas de verificação formal. Rota mais rápida para o design correto com uma ferramenta de depuração abrangente que identifica a localização/causa dos erros e a capacidade única de “e se” para investigar modificações de design na sessão de verificação existente.
Participe da discussão sobre novos tópicos, funcionalidades, conteúdos 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.
