Использование искусственного интеллекта для проверки проектов микросхем и преобразования спецификаций в тестируемые свойства.
Brian Bailey считает, что внедрение искусственного интеллекта в проверку проектов микросхем вводит новый уровень верификации, поскольку система может выдавать ответы, которые выглядят правдоподобно, или обходить цель вместо соблюдения спецификаций. Он подчёркивает, что обещанный прирост производительности может сопровождаться масштабной ручной работой по проверке всего, что производит искусственный интеллект, и его источника.