Thomas Bourgeat

De nouvelles méthodes de simulation RTL parallèles accélèrent les processus de conception matériel complexes.

Une nouvelle méthode améliore la vérification de la sécurité des processeurs contre les failles d'exécution spéculative.