Voici un communiqué de presse payant. Contactez directement le distributeur du communiqué pour toute demande.

Real Intent annonce Conquest MAI — Validation de l’intégrité microarchitecturale

Real Intent

Mercredi, 25 février 2026 à 02h03 GMT+9 Lecture de 3 min

Real Intent

Identifie et vérifie automatiquement les composants fonctionnels standard (SFC) à travers la hiérarchie lors de la conception RTL

SUNNYVALE, Californie, 24 février 2026 (GLOBE NEWSWIRE) – Real Intent, Inc., a annoncé aujourd’hui Conquest MAI, le premier outil de validation de l’intégrité microarchitecturale dans l’industrie. Conquest MAI identifie automatiquement les composants fonctionnels standard (SFC) dans toute la hiérarchie de conception et effectue des vérifications d’intégrité localisées.

Ses capacités avancées de débogage, incluant des diagrammes FSM et des schémas de blocs fonctionnels SFC, facilitent une compréhension approfondie de la conception et son exploration tout au long du processus de vérification. La mise en place rapide de Conquest MAI et ses performances extrêmement rapides en font un outil pratique pour intégrer la validation de l’intégrité microarchitecturale dans la validation RTL.

Minimally Boolean : Permettre la validation MAI lors de la validation RTL

Les méthodologies de simulation et de vérification formelle reposent fortement sur l’analyse booléenne, chacune présentant des limitations importantes. La vérification formelle est lente et limitée par des capacités qui empêchent une analyse exhaustive, tandis que la simulation est peu pratique en raison du volume énorme de bancs de test et de cycles de vérification nécessaires pour atteindre la validation microarchitecturale.

Conquest MAI dépend peu des méthodes booléennes. Il utilise principalement des techniques de vérification abstraite et d’analyse spécifique au problème, évitant la résolution complète de l’espace d’états booléens. En conséquence, Conquest MAI :

Fonctionne 10 à 100 fois plus vite que la vérification formelle, analysant un million de portes en quelques minutes

Couvre de manière exhaustive des conceptions avec des milliards de portes en quelques heures, sans blackboxing  

Cette combinaison permet aux ingénieurs d’intégrer la validation de l’intégrité microarchitecturale dans la validation RTL.

Inférence de l’intention fonctionnelle pour identifier les SFC

Au cœur de Conquest MAI se trouve sa capacité à inférer directement l’intention fonctionnelle à partir du RTL pour identifier automatiquement des SFC tels que FSM, FIFO, compteurs, shifters et mémoire. Il analyse le comportement logique pour comprendre ce que la conception implémente, plutôt que de se baser sur des motifs syntaxiques ou des conventions de nommage.

L’inférence d’intention de Conquest MAI est :

Indépendante du style de codage — identifie les SFC indépendamment de la syntaxe RTL ou des conventions de nommage

Trans-hierarchique — reconnaît les composants même lorsque leur fonctionnalité est répartie dans toute la hiérarchie de conception

Sémantique plutôt que syntaxique — identifie les SFC intégrés dans d’autres SFC et détecte les SFC répliqués créés via des tableaux et des générateurs  

Cela établit la base pour appliquer les règles spécifiques aux SFC nécessaires à la validation de l’intégrité microarchitecturale.

Vérifications de l’intégrité microarchitecturale

Une fois que Conquest MAI identifie automatiquement les SFC, les concepteurs peuvent lancer des vérifications d’intégrité microarchitecturale. Voici quelques vérifications représentatives :

La suite continue  

Distance de Hamming / poids des états FSM — Vérifier que les encodages d’état FSM respectent la distance de Hamming minimale et les exigences de poids pour la détection d’erreurs de flips de bits non intentionnels.

Débordement et sous-débordement FIFO — Vérifier que la logique de contrôle FIFO empêche les écritures lorsque plein et les lectures lorsque vide, évitant la perte de données ou le retour de données invalides.​

Utilisation hors plage du compteur — Signaler si un compteur est comparé à des valeurs en dehors de sa plage.

Ports d’écriture RAM simultanés — Vérifier que les RAM avec plusieurs ports d’écriture n’ont pas de plages d’adresses d’écriture qui se chevauchent.  

Visualisation des SFC inférés pour le débogage

Conquest MAI applique son analyse d’intention inférée pour générer des visualisations présentant la structure et le comportement de chaque SFC, indépendamment du style de codage RTL ou des détails d’implémentation. Parmi les exemples :

Schémas SFC

 

*    
    
    Blocs fonctionnels avec connectivité et relations de contrôle
    
     
*    
    
    Vues schématiques traditionnelles de la structure interne des SFC  

Diagrammes FSM avec états, transitions, resets, et conditions telles que boucles auto ou chemins inaccessibles.​

Visualiseur SFC montrant les caractéristiques pertinentes (ex. horloges, resets…)  

Ces représentations graphiques accélèrent le débogage, facilitent une compréhension approfondie de la conception, et permettent une analyse plus rapide des causes profondes des problèmes microarchitecturaux.

Pour plus d’informations, veuillez consulter Conquest MAI — Validation de l’intégrité microarchitecturale

À propos de Real Intent

Real Intent fournit des outils logiciels EDA de validation statique axés sur l’intention pour accélérer la validation fonctionnelle avancée des conceptions numériques. Ses capacités incluent le linting RTL, le crossing de domaine d’horloge, le crossing de domaine de reset, l’intégrité microarchitecturale, la DFT, la sécurité matérielle, et la connectivité & glitch. Les clients de Real Intent comprennent plus de cinquante grandes entreprises de semi-conducteurs et de systèmes. La société est basée au 932 Hamlin Court, Sunnyvale, CA. Pour plus d’informations, visitez www.realintent.com.

CONTACT : Contact média Gloria Nichols LaunchM, Inc. gloria@launchm.com

Conditions et Politique de Confidentialité

Tableau de bord de confidentialité

Plus d’infos