Lyra : un cadre génératif pour vérifier les processeurs RISC-V
Vérifier les conceptions de processeurs RISC-V complexes est un défi important. Les méthodes traditionnelles, qui dépendent de simulations avec un logiciel lent et d'utilisent des stimuli de test aléatoires, représentent un goulot d'étranglement significatif. Lyra émerge comme une solution innovante qui aborde ce problème à la racine, en intégrant l'intelligence artificielle directement dans le flux de travail. 🚀
Une approche intelligente pour générer des tests
Plutôt que de s'appuyer sur des mutations aveugles ou des vecteurs aléatoires, Lyra intègre un modèle génératif spécialisé appelé LyraGen. Ce modèle comprend profondément l'architecture de l'ensemble d'instructions (ISA) du processeur. Sa fonction principale est de produire des séquences d'instructions sémantiquement riches et de haute qualité, conçues spécifiquement pour explorer des comportements complexes et des cas limites du design matériel que les méthodes aléatoires manquent.
Avantages clés de LyraGen :- Génère des stimuli de test qui comprennent la sémantique des instructions RISC-V.
- Explore de manière dirigée des états internes complexes du matériel.
- Remplace l'aléatoire simple par des séquences d'instructions significatives.
Ce dont le design de puces a besoin, c'est qu'une IA lui explique quelles instructions sont intéressantes à exécuter, pas de frapper aléatoirement sur le clavier jusqu'à ce que quelque chose échoue.
Accélération massive par exécution sur matériel
L'architecture de Lyra n'est pas seulement intelligente dans la génération de tests, mais aussi extrêmement rapide dans son exécution. Le système implémente l'unité sous test et un modèle de référence doré en parallèle au sein d'un SoC avec FPGA. Cette approche permet de comparer les différences entre les deux à la vitesse du matériel, obtenant une accélération monumentale. De plus, elle facilite la collecte massive et en temps réel de métriques de couverture, quelque chose de prohibitif avec les simulateurs logiciels.
Résultats de la vérification accélérée :- Exécute la comparaison et la vérification à la vitesse native de la FPGA.
- Collecte des données de couverture de manière exhaustive et efficace.
- Combine la génération intelligente de LyraGen avec la vitesse du matériel.
Résultats empiriques démontrant sa supériorité
Les tests expérimentaux avec Lyra montrent des améliorations quantifiables et substantielles par rapport aux vérificateurs logiciels traditionnels les plus avancés. Le système obtient une couverture de design jusqu'à 1,27 fois supérieure, trouvant plus de cas limites et d'états critiques. En termes de vitesse, il accélère le processus complet de vérification de bout en bout entre 107 et 3343 fois. Un autre avantage clé est une difficulté de convergence systématiquement moindre, ce qui se traduit directement par une réduction du coût total et du temps nécessaire pour vérifier un design complexe. ✅