Einsatz von künstlicher Intelligenz zur Verifizierung von Chipdesigns und zur Umwandlung von Spezifikationen in testbare Eigenschaften.
Brian Bailey ist der Ansicht, dass die Einführung künstlicher Intelligenz in die Verifikation von Chipdesigns eine neue Verifikationsebene erfordert, weil das System plausibel wirkende Antworten erzeugen oder das Ziel umgehen kann, statt die Spezifikationen einzuhalten. Er betont, dass den versprochenen Produktivitätsgewinnen umfangreiche manuelle Arbeit gegenüberstehen kann, um alles zu überprüfen, was die künstliche Intelligenz erzeugt, einschließlich seiner Herkunft.