Este es un comunicado de prensa pagado. Contacte directamente con el distribuidor del comunicado para cualquier consulta.

Real Intent anuncia Conquest MAI — Firma de Integridad Microarquitectural

Real Intent

Mié, 25 de febrero de 2026 a las 2:03 AM GMT+9 3 min de lectura

Real Intent

Identifica y verifica automáticamente componentes funcionales estándar (SFCs) en toda la jerarquía durante el diseño RTL

SUNNYVALE, California, 24 de febrero de 2026 (GLOBE NEWSWIRE) – Real Intent, Inc., anunció hoy Conquest MAI, la primera herramienta de firma de integridad microarquitectural en la industria. Conquest MAI identifica automáticamente componentes funcionales estándar (SFCs) en toda la jerarquía del diseño y realiza verificaciones de integridad localizadas.

Sus capacidades avanzadas de depuración, incluyendo diagramas FSM y esquemas de bloques funcionales SFC, soportan una comprensión profunda del diseño y exploración durante todo el proceso de verificación. La rápida configuración y el rendimiento extremadamente alto de Conquest MAI hacen práctico incorporar la firma de integridad microarquitectural como parte de la firma RTL.

Booleano Mínimo: Permitiendo la firma MAI durante la firma RTL

Las metodologías de simulación y verificación formal dependen en gran medida del análisis booleano, y cada una presenta limitaciones significativas como resultado. La verificación formal es lenta y tiene restricciones de capacidad que limitan el análisis exhaustivo, mientras que la simulación es impráctica debido al volumen de bancos de prueba y ciclos de verificación necesarios para lograr la firma microarquitectural.

Conquest MAI depende mínimamente de métodos booleanos. Utiliza principalmente técnicas de comprobación abstracta y análisis específico del problema, evitando la resolución completa del espacio de estados booleano. Como resultado, Conquest MAI:

Funciona de 10 a 100 veces más rápido que la formal, analizando un millón de puertas en minutos

Cubre exhaustivamente diseños con miles de millones de puertas en horas, sin enmascaramiento  

Esta combinación permite a los ingenieros incorporar la integridad microarquitectural como parte de la firma RTL.

Inferencia de la Intención Funcional para Identificar SFCs

El núcleo de Conquest MAI es su capacidad para inferir la intención funcional directamente desde RTL para identificar automáticamente SFCs como FSMs, FIFO, contadores, desplazadores y memoria. Analiza el comportamiento lógico para entender qué implementa el diseño, en lugar de confiar en patrones sintácticos o convenciones de nomenclatura.

La inferencia de intención de Conquest MAI es:

Ajena al estilo de codificación — identifica SFCs independientemente de la sintaxis RTL o convenciones de nomenclatura

Cruzando jerarquías — reconoce componentes incluso cuando la funcionalidad está distribuida en toda la jerarquía del diseño

Semántica en lugar de sintaxis — identifica SFCs incrustados dentro de otros SFCs y detecta SFCs replicados creados mediante arreglos y constructores generate  

Esto establece la base para aplicar reglas específicas de SFC necesarias para la firma de integridad microarquitectural.

Verificaciones de Integridad Microarquitectural

Una vez que Conquest MAI identifica automáticamente los SFCs, los diseñadores pueden realizar verificaciones de integridad microarquitectural. Algunas verificaciones representativas son:

La historia continúa  

Distancia Hamming/ peso de estados FSM — Confirmar que las codificaciones de estado FSM cumplen con los requisitos mínimos de distancia Hamming y peso para la detección de errores por cambios de bits no deseados.

Desbordamiento y subdesbordamiento de FIFO — Verificar que la lógica de control FIFO previene escrituras cuando está lleno y lecturas cuando está vacío, evitando pérdida de datos o retornos de datos inválidos.​

Uso de contador fuera de rango — Reportar si un contador se compara con valores fuera del rango del contador.

Puertos de escritura RAM simultáneos — Verificar que las RAMs con múltiples puertos de escritura no tengan rangos de direcciones de escritura superpuestos.  

Visualización de SFCs Inferidos para Depuración

Conquest MAI aplica su análisis de intención inferida para generar visualizaciones que muestran la estructura y comportamiento de cada SFC, independientemente del estilo de codificación RTL o detalles de implementación. Ejemplos incluyen:

Esquemas SFC

 

*    
    
    Bloques funcionales con relaciones de conectividad y control
    
     
*    
    
    Visualizaciones esquemáticas tradicionales de la estructura interna del SFC  

Diagramas FSM con estados, transiciones, resets y condiciones como bucles propios o caminos inalcanzables.​

Visor SFC que muestra características relevantes (por ejemplo, relojes, resets…)  

Estas representaciones gráficas aceleran la depuración, apoyan una comprensión profunda del diseño y permiten un análisis más rápido de las causas raíz de problemas microarquitecturales.

Para más información, visite Conquest MAI — Firma de Integridad Microarquitectural

Sobre Real Intent

Real Intent proporciona herramientas de software EDA de firma estática impulsadas por intención para acelerar el desplazamiento hacia la verificación funcional avanzada de diseños digitales. Sus capacidades de firma estática incluyen análisis RTL, cruce de dominios de reloj, cruce de dominios de reset, integridad microarquitectural, DFT, seguridad de hardware y conectividad y fallos. Los clientes de Real Intent incluyen más de cincuenta importantes empresas de semiconductores y sistemas. La sede de Real Intent está en 932 Hamlin Court, Sunnyvale, CA. Para más información, visite www.realintent.com.

CONTACTO: Contacto de prensa Gloria Nichols LaunchM, Inc. gloria@launchm.com

Términos y Política de Privacidad

Panel de Privacidad

Más información