O Questa One Sim Xact é uma análise formal inovadora e automação de fluxo que agiliza a apresentação do GLS, levando a uma verificação de aprovação melhor e mais completa.
O Questa One Sim Xact permite uma simulação de nível de porta muito mais rápida, eliminando automaticamente falsos Xs incómodos, condições de corrida com atraso zero e erros de modelagem de biblioteca, ao mesmo tempo que isola problemas de conectividade difíceis de diagnosticar. Além disso, suporta ferramentas avançadas de rastreio de causa raiz real X.
A simulação lógica formalmente reforçada executa dinamicamente a análise do pessimismo X, analisa a propagação X em datapths e a lógica do relógio fechado e reparos em tempo útil.
O GLS com atraso zero pode demonstrar condições de corrida, especialmente em designs com relógio fechado e linhas de atraso. O gerador “Pseudo-SDF” resolve eficientemente 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 conduzem mais nenhuma lógica de fanout. A análise de conectividade encontra módulos com entradas não controladas que estão a criar fontes X.
O Questa One Sim Xact oferece uma metodologia melhorada para introduzir a simulação no nível do portão de forma rápida e fácil. A sua tecnologia patenteada pode analisar eficazmente 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. Elimina automaticamente os falsos X, que permitem que a simulação ao nível do portão 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 competências 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 na compreensão das tecnologias avançadas de verificação funcional e como aplicá-las de forma mais eficaz, visite o nosso blog para obter informações e atualizações sobre conceitos, valores, padrões, metodologias e exemplos.
