Este é um comunicado de imprensa pago. Contacte diretamente o distribuidor do comunicado para quaisquer esclarecimentos.

Real Intent Anuncia o Conquest MAI — Aprovação de Integridade Microarquitetural

Real Intent

Qua, 25 de fevereiro de 2026 às 2:03 AM GMT+9 3 min de leitura

Real Intent

Auto identifica e verifica componentes funcionais padrão (SFCs) em toda a hierarquia durante o design RTL

SUNNYVALE, Califórnia, 24 de fevereiro de 2026 (GLOBE NEWSWIRE) – A Real Intent, Inc., anunciou hoje o Conquest MAI, a primeira ferramenta de assinatura de integridade microarquitetural do setor. O Conquest MAI identifica automaticamente componentes funcionais padrão (SFCs) em toda a hierarquia de design e realiza verificações de integridade localizadas.

Suas capacidades avançadas de depuração, incluindo diagramas FSM e esquemas de blocos funcionais SFC, suportam uma compreensão profunda do design e exploração ao longo do processo de verificação. A rápida configuração e desempenho extremamente rápido do Conquest MAI tornam prática a incorporação da assinatura de integridade microarquitetural como parte da assinatura RTL.

Booleano Mínimo: Permitindo a assinatura MAI durante a assinatura RTL

As metodologias de simulação e verificação formal dependem fortemente da análise booleana, e cada uma apresenta limitações significativas por isso. A verificação formal é lenta, com limitações de capacidade que restringem análises exaustivas, enquanto a simulação é impraticável devido ao grande volume de bancos de testes e ciclos de verificação necessários para alcançar a assinatura microarquitetural.

O Conquest MAI depende minimamente de métodos booleanos. Ele usa principalmente técnicas de verificação abstrata e análise específica de problemas, evitando a resolução completa do espaço de estados booleano. Como resultado, o Conquest MAI:

Funciona de 10 a 100 vezes mais rápido que a verificação formal, analisando um milhão de portas em minutos

Cobre exaustivamente designs com bilhões de portas em horas, sem ocultar detalhes  

Essa combinação permite que os engenheiros incorporem a integridade microarquitetural como parte da assinatura RTL.

Inferindo Intenção Funcional para Identificar SFCs

No centro do Conquest MAI está sua capacidade de inferir a intenção funcional diretamente do RTL para identificar automaticamente SFCs como FSMs, FIFOs, contadores, deslocadores e memórias. Ele analisa o comportamento lógico para entender o que o design implementa, ao invés de depender de padrões sintáticos ou convenções de nomenclatura.

A inferência de intenção do Conquest MAI é:

Neutra em relação ao estilo de codificação — identifica SFCs independentemente da sintaxe RTL ou convenções de nomenclatura

Cruzando hierarquias — reconhece componentes mesmo quando a funcionalidade está distribuída pela hierarquia do design

Semântica ao invés de sintática — identifica SFCs embutidos dentro de outros SFCs e detecta SFCs replicados criados via arrays e construções de geração  

Isso estabelece a base para aplicar regras específicas de SFC necessárias para a assinatura de integridade microarquitetural.

Verificações de Integridade Microarquitetural

Após o Conquest MAI identificar automaticamente os SFCs, os designers podem executar verificações de integridade microarquitetural. Exemplos de verificações incluem:

Continuação da história  

Distância de Hamming/ peso de estados FSM — Confirmar que as codificações de estado FSM atendem aos requisitos mínimos de distância de Hamming e peso para detecção de erros de flips de bits não intencionais.

Overflow e underflow de FIFO — Verificar se a lógica de controle FIFO impede gravações quando cheio e leituras quando vazio, evitando perda de dados ou retorno de dados inválidos.

Uso de contador fora do intervalo — Reportar se um contador está sendo comparado com valores fora do seu intervalo.

Portas de escrita RAM simultâneas — Verificar se RAMs com múltiplas portas de escrita não possuem intervalos de endereços de escrita sobrepostos.  

Visualizando SFCs Inferidos para Depuração

O Conquest MAI aplica sua análise de intenção inferida para gerar visualizações que apresentam a estrutura e o comportamento de cada SFC, independentemente do estilo de codificação RTL ou detalhes de implementação. Exemplos incluem:

Esquemas de SFC

 

*    
    
    Blocos funcionais com relacionamentos de conectividade e controle
    
     
*    
    
    Visões esquemáticas tradicionais da estrutura interna do SFC  

Diagramas FSM com estados, transições, resets e condições como auto-loops ou caminhos inatingíveis.​

Visualizador de SFC que mostra características relevantes (por exemplo, clocks, resets…)  

Essas representações gráficas aceleram a depuração, suportam uma compreensão profunda do design e permitem uma análise mais rápida da causa raiz de problemas microarquiteturais.

Para mais informações, visite Conquest MAI — Assinatura de Integridade Microarquitetural

Sobre a Real Intent

A Real Intent fornece ferramentas de software EDA de assinatura estática orientada por intenção para acelerar a transição para a verificação funcional avançada de designs digitais. As capacidades de seus produtos de assinatura estática incluem linting RTL, crossing de domínios de clock, crossing de domínios de reset, integridade microarquitetural, DFT, segurança de hardware e conectividade & glitch. Os clientes da Real Intent incluem mais de cinquenta grandes empresas de semicondutores e sistemas. A sede da empresa fica em 932 Hamlin Court, Sunnyvale, CA. Para mais informações, visite www.realintent.com.

CONTATO: Media Gloria Nichols LaunchM, Inc. gloria@launchm.com

Termos e Política de Privacidade

Painel de Privacidade

Mais informações