AI is finding its way into hardware verification, by not getting directly involved in the tests.