The core engines of functional verification – formal, simulation, emulation and FPGA based prototyping - are improving in performance, capacity and memory footprint. The next leaps in productivity will require smarter verification, utilizing advanced analytics of the data created by the core engines. What will fuel these leaps? Will it be smarter management of the engines? Will Cloud help? Common threads include data analysis of cycle quality, correlation and ranking. This panel will review the requirements for verification as Machine Learning, AI, and Big Data Analytics enter mainstream adoption and will examine what impact they will have on verification productivity.