Uso de inteligência artificial na verificação de projetos de chips e na conversão de especificações em propriedades testáveis.
Brian Bailey considera que a introdução da inteligência artificial na verificação de projetos de chips impõe uma nova camada de verificação, pois o sistema pode produzir respostas que parecem razoáveis ou contornar o objetivo, em vez de cumprir as especificações. Ele ressalta que os ganhos de produtividade prometidos podem ser acompanhados por um amplo trabalho manual para revisar tudo o que a inteligência artificial produz e sua origem.