Revolutionising verification productivity with AI-driven pla