O Questa One Sim Xact é uma análise formal inovadora e automação de fluxo que simplifica a criação do GLS, levando a uma verificação de aprovação melhor e mais completa.
O Questa One Sim Xact permite uma simulação muito mais rápida no nível do portão, eliminando automaticamente os incômodos falsos Xs, condições de corrida sem atraso e erros de modelagem de biblioteca, ao mesmo tempo em que isola problemas de conectividade difíceis de diagnosticar. Além disso, ele oferece suporte a ferramentas avançadas de rastreamento de causa raiz real X.
A simulação lógica formal aprimorada executa dinamicamente a análise do pessimismo X, analisa a propagação do X em caminhos de dados e a lógica do relógio fechado e os reparos em tempo real.
O GLS com atraso zero pode demonstrar condições de corrida, especialmente em projetos com cronometragem fechada e linhas de atraso. O gerador “Pseudo-SDF” resolve com eficiência problemas de condição de corrida sem a necessidade de modificar bibliotecas de células.
A análise de propagação de força/liberação confirma quando as forças foram otimizadas e não impulsionam mais nenhuma lógica de distribuição. A análise de conectividade encontra módulos com entradas não acionadas que estão criando fontes X.
O Questa One Sim Xact oferece uma metodologia aprimorada para criar a simulação no nível do portão de forma rápida e fácil. Sua tecnologia patenteada pode analisar com eficácia uma simulação usando análise combinatória para determinar se os valores X nas entradas D de um flip-flop são falsos devido ao pessimismo X ou reais. Ele elimina automaticamente os falsos X, o que permite que a simulação no nível da porta produza os resultados corretos.
A Siemens EDA oferece suporte ao cliente de classe mundial para o Questa One Sim e todos os nossos produtos.
A Verification Academy fornece as habilidades necessárias para amadurecer as capacidades do processo de verificação funcional de uma organização, fornecendo uma ponte metodológica entre propostas de valor de alto nível e detalhes de baixo nível.
Para ajudar a entender as tecnologias avançadas de verificação funcional e como aplicá-las de forma mais eficaz, visite nosso blog para obter informações e atualizações sobre conceitos, valores, padrões, metodologias e exemplos.
