white paper
A survey of machine learning applications in functional verification
Among the various ML techniques and algorithms, several emerging ones have demonstrated outstanding potential in FV. Yet despite the promising research results, critical challenges remain for applying ML in the industrial EDA environment. As well, the unavailability of high-quality verification data is impeding the research of ML in FV, so the authors call for further contributions to open verification datasets.