Alcançando um fechamento de verificação de projeto mais rápido

Em grandes projetos de design de chips, o esforço de verificação da lógica pode ser maior do que o esforço de design, levando até 70% do tempo do projeto com base nos dados do Grupo de Pesquisa Wilson 2022 descobertas. Infelizmente, a taxa de sucesso do primeiro silício caiu de 31% para apenas 24% nos últimos 8 anos, causando outra reviravolta para corrigir as falhas, custando às empresas tempo perdido no mercado e certamente prejudicando seus planos de receita. Uma verificação melhor certamente melhoraria o sucesso do primeiro silício, mas é mais fácil dizer do que fazer.

Alguns outros números preocupantes do estudo do Wilson Research Group:

• ASIC – 24% de sucesso na primeira vez, 36% de finalização no prazo
• FPGA – 16% alcançam zero fugas de bugs, 30% terminam no prazo

A verificação de design tem muitas tarefas difíceis: depuração, criação de testes e execução de mecanismos, desenvolvimento de testbench e planejamento de teste. Idealmente, sua equipe deseja minimizar os tempos de retorno, chegar ao fechamento da verificação com o menor número de pessoas e recursos de computação, atender à conformidade de segurança e saber quando a qualidade do projeto é alta o suficiente para interromper a verificação, cumprindo o cronograma do projeto.

Recentemente, recebi uma atualização do especialista em verificação de design Darron May, da Siemens EDA, para ouvir sobre algo que acaba de ser anunciado, chamado Questa Verificação de QI. A abordagem deles tem tudo a ver com verificação baseada em dados formada em torno do uso de rastreabilidade, colaboração e análise alimentada por IA/ML. A análise tradicional forneceu produtividade limitada e insights apenas para descrever e diagnosticar o comportamento lógico, enquanto a análise orientada por big data usando AI/ML oferece ações preditivas e prescritivas para verificação. As equipes de software e hardware estão se tornando mais produtivas ao colaborar por meio do uso de CI (Integração contínua), Ágil métodos, ALM (Application Lifecycle Management), design baseado em nuvem e aplicação de técnicas de IA/ML. Indústrias críticas de segurança precisam de rastreabilidade entre requisitos, implementação e verificação, conforme definido em padrões da indústria como ISO 26262 e DO-254.

Aqui está a visão geral de como o Quest Verification IQ conecta todos os dados de vários mecanismos de verificação em um fluxo orientado por dados, juntamente com uma ferramenta ALM.

Os dados de cobertura são coletados da simulação lógica (Este), Emulação e Prototipagem (Veloce), AMS (Sinfonia), formal (One Spin), Estático e FuSa. O recurso ML analisa todos esses dados para prever padrões e revelar quaisquer falhas, apontar as causas principais e prescrever ações para melhorar a cobertura. O ALM mostrado é Polaridade da Siemens, embora você possa usar outro ALM, assim como pode usar seus mecanismos de verificação favoritos.

O Questa Verification IQ é uma estrutura baseada em navegador que inclui um guia de processo para que você possa criar um fluxo crítico de segurança usando o gerenciamento do ciclo de vida para planejar e rastrear todos os requisitos. O navegador de regressão permite que sua equipe crie e execute testes, monitore os resultados e tenha um histórico completo de verificação. Com o analisador de cobertura você sabe quão completa é sua cobertura para código, blocos funcionais e planos de teste. Por fim, a análise de dados apresentada fornece uma plataforma métrica, usando painéis de projeto e fornecendo análises cruzadas.

A estrutura baseada na Web é dimensionada para qualquer tamanho de projeto eletrônico, e você não precisará instalar nenhum software ou se preocupar em manter seu sistema operacional atualizado. Ele também suporta configurações de nuvem pública, privada ou híbrida. Com a aplicação de AI/ML, o processo de fechamento da verificação é acelerado, enquanto o esforço de depuração é acelerado, pois a análise da causa raiz ajuda a identificar onde melhorar.

Fiz algumas perguntas esclarecedoras a Darron May.

P: Posso misturar e combinar o Questa Verification IQ com qualquer ferramenta de fornecedor EDA e ALM?

A: O Questa Verification IQ oferece suporte a ferramentas e mecanismos de ALM por meio de uma abordagem baseada em padrões. Ele faz interface com as ferramentas ALM usando Open Services for Lifecycle Collaboration (OSLC) para que qualquer ferramenta que suporte o padrão, como Doors next ou Siemens Polarion e Teamcenter, possa ser usada. Qualquer mecanismo pode ser iniciado pelo Questa Verification IQ e, novamente, temos suporte para cobertura por meio do Unified Coverage Interoperability Standard (UCIS).

P: Como essa abordagem se compara ao Synopsys DesignDash?

A: O Synopsys DesignDash está focado em ML para dados de design, enquanto o Questa Verification IQ está focado em verificação orientada por dados usando análises, incluindo ML, para acelerar o fechamento da verificação, reduzir os tempos de resposta e fornecer a máxima eficiência do processo. O Questa Verification IQ fornece aplicativos necessários para o gerenciamento de verificação colaborativa baseado em equipe em uma estrutura baseada em navegador com acesso centralizado aos dados.

P: Como essa abordagem se compara ao Cadence Verisium?

A: A Cadence Verisium se concentra apenas na verificação assistida por ML. Em comparação, o Siemens Questa Verification IQ fornece uma solução completa de verificação orientada por dados, desenvolvida por análises, colaboração e rastreabilidade. O gerenciamento de verificação é fornecido em uma ferramenta baseada em navegador com aplicativos criados em colaboração. O Coverage Analyzer traz a primeira ferramenta colaborativa de fechamento de cobertura do setor usando navegação analítica assistida por ML. Question Verification IQ interage com a Siemens Polarion usando OSLC e fornece uma rastreabilidade de encadeamento digital rigorosa com Application Lifecycle Management sem mudança de contexto da interface do usuário, trazendo o poder do ALM para a verificação de hardware.

Resumo

Sempre fico impressionado com as novas ferramentas EDA que facilitam uma tarefa complexa ao trabalhar de maneira mais inteligente, não exigindo que os engenheiros dediquem mais horas de esforço manual. Com os primeiros endossos do Questa Verification IQ de empresas conhecidas como Arm e Nordic Semiconductor, parece que a Siemens EDA adicionou algo atraente para as equipes de verificação considerarem.

Blogs relacionados

Compartilhe esta postagem via:

• Conteúdo com tecnologia de SEO e distribuição de relações públicas. Seja amplificado hoje.
• Platoblockchain. Inteligência Metaverso Web3. Conhecimento Ampliado. Acesse aqui.
• Fonte: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/