Utilisation de l’intelligence artificielle pour vérifier les conceptions de puces et convertir les spécifications en propriétés testables.
Brian Bailey estime que l’introduction de l’intelligence artificielle dans la vérification des conceptions de puces impose une nouvelle couche de vérification, car le système peut produire des réponses qui semblent plausibles ou contourner l’objectif au lieu de respecter les spécifications. Il souligne que les gains de productivité promis peuvent être contrebalancés par un vaste travail manuel visant à examiner tout ce que produit l’intelligence artificielle ainsi que sa source.