Verificação sem estímulos

Uma aplicação de procura de problemas formal totalmente automática que encontra problemas profundamente ocultos devido a erros comuns de codificação RTL, Questa Inspect permite eliminar uma ampla gama de problemas sem uma bancada de testes.

O Questa Check Connect app é uma solução totalmente automatizada para verificar exaustivamente a conectividade estática e dinâmica sem exigir o conhecimento de linguagens formais ou de especificação de propriedade.

Questa Increase Coverage é uma solução formal automática para conseguir um encerramento mais rápido da cobertura do código, que aborda um facto incontestável da verificação: alguma fração do código descoberto permanece sempre.

As bibliotecas Questa Formal VIP AMBA & OnChip melhoram a qualidade e reduzem os cronogramas, construindo conhecimentos de protocolo e metodologia em pacotes de afirmações reutilizáveis que suportam interfaces populares padrão da indústria.

Questa Verify Property descobre exaustivamente quaisquer erros de projeto que possam ocorrer, sem a necessidade de estímulos específicos para detectar o problema. Isso garante que o design verificado seja livre de problemas em todos os cenários de entrada legal.

O Questa Check Register app automatiza a verificação exaustiva do comportamento do registo de controlo e estado em relação às especificações do registo CSV ou IP-XACT.

O Questa Verify Secure a aplicação é uma solução totalmente automatizada para verificar exaustivamente se apenas os caminhos especificados podem alcançar elementos de armazenamento críticos de segurança ou de segurança.

Questa Equivalent RTL compara automaticamente a especificação RTL e blocos de código RTL de implementação usando análise formal exaustiva. Não é necessário conhecimento de linguagens formais ou de especificação de propriedade.

Questa Check X é uma aplicação automatizada que erradica exaustivamente os problemas 'X' no nível RTL sem um testbench.

A Siemens Questa Equivalent FPGA a solução garante que os fluxos de implementação de FPGA, tais como a síntese e otimizações de local e rota, não introduzam erros funcionais.

Questa GapFree otimiza a qualidade dos designs digitais, provando toda a funcionalidade para todas as entradas, levando a baixas taxas de escape de emissão sem precedentes.

verificação de projeto de alto nível com a expansão Questa HL-SYC ajuda a eliminar problemas antes da síntese, iniciando a verificação mais cedo no fluxo.

Questa Verify Trust emprega análises automatizadas para detectar e relatar preocupações de vulnerabilidade em relação à segurança.

Garante a conformidade dos projetos RISC-V com ISA e pré-requisitos funcionais, acelerando a verificação eliminando a necessidade de criação de bancada de teste.

O Questa FPU a aplicação minimiza significativamente a carga de trabalho de verificação, assegurando o alinhamento preciso das implementações de ponto flutuante com os resultados desejados.

O Questa Analyze Fault a aplicação é uma solução baseada na tecnologia formal Questa, que analisa falhas injetando-as e verifica formalmente o seu resultado quanto à segurança e proteção do hardware.

Analyzar Arquitetura é uma solução inovadora que fornece ao utilizador a capacidade de verificar grandes sistemas de hardware se estão em conformidade com a arquitectura especificada.

O aplicativo Questa Post Silicon Debug aproveita a análise formal e a síntese de propriedades para enraizar rapidamente problemas de causa na lógica profundamente dentro de um SoC e provar que as correções não quebrarão mais nada.