este sim sim permite uma simulação de nível de porta muito mais rápida, eliminando automaticamente os 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.
este sim sim oferece uma metodologia melhorada para trazer a simulação ao 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 este 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.
