Achieving faster functional coverage closure with the help of co-simulation and machine learning

This presentation will cover the use of MATLAB in a example cosimulation and machine learning based random verification environment. It will include the basic concept and flow of a cosimulation based verification environment, as well as an introduction the issue of test selection in constrained randomized testing. The presentation will finish with an overview of the usage of machine learning in a novel test selection system.