O FormalPro usa técnicas de verificação formal estática 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 até minutos usando o FormalPro.
Prove rapidamente que um design é funcionalmente idêntico - compare RTL com gate netlist para síntese, netlists gate to gate para giros de layout. Use uma ferramenta e um fluxo para todos os seus projetos.
Verificação rápida de projetos de vários milhões de portas e redução drástica no tempo de verificação usando técnicas de verificação formal estática. O caminho mais rápido para corrigir o design com uma ferramenta de depuração abrangente que identifica a localização/causa dos erros e a exclusiva capacidade hipotética de investigar modificações no projeto na sessão de verificação existente.
Participe da discussão sobre novos tópicos, recursos, conteúdo e especialistas técnicos.
Acesse notas detalhadas do aplicativo do usuário, recursos de treinamento e muito mais.
Ajudando você a alcançar o máximo impacto nos negócios, abordando desafios complexos de tecnologia e negócios com uma combinação única de experiência em desenvolvimento e design e expertise em metodologia.
