Votre puce fonctionne. Prouvez qu'elle est sécurisée.

Arteris organise un BitCast de 30 minutes le 10 novembre 2026 pour démontrer comment le suivi des flux d'informations (information flow tracking) suit les actifs sensibles lors des simulations ou émulations existantes, afin de détecter les flux d'informations non intentionnels et de générer des preuves mesurables pour la validation de sécurité pré-silicium. La session couvre les limites de la vérification fonctionnelle seule, la définition des actifs et des frontières de protection, ainsi que l'intégration de cette approche dans les stratégies de vérification fonctionnelle et formelle.