Uso de la inteligencia artificial para verificar diseños de chips y convertir las especificaciones en propiedades comprobables.
Brian Bailey considera que introducir la inteligencia artificial en la verificación de diseños de chips impone una nueva capa de verificación, porque el sistema puede producir respuestas que parecen razonables o sortear el objetivo en lugar de cumplir las especificaciones. Afirma que las ganancias de productividad prometidas pueden verse contrarrestadas por un amplio trabajo manual para revisar todo lo que produce la inteligencia artificial y su procedencia.