white paper

A survey of machine learning applications in functional verification

Functional verification is computationally and data-intensive by nature, making it a natural target of machine learning applications. This paper provides a comprehensive and up-to-date analysis of FV problems addressable by ML.

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.

Questa Verification Solution

The Questa verification solution from Siemens EDA, a part of Siemens Digital Industries Software, continues to evolve in response to the growing complexity of SoC designs. Besides the sheer size of designs, the inclusion of multiple embedded processors and advanced interconnect systems, increasing software content and the configurability required by multi-platform based designs require a functional verification solution that unifies a broad arsenal of verification solutions.

Verification Academy is the most comprehensive resource for verification training.

The Verification Academy will provide you with a unique opportunity to develop an understanding of how to mature your organization's processes so that you can then reap the benefits that advanced functional verification offers. The Verification Academy is the most complete UVM Online resource. You’ll find everything you need to get up to speed on UVM, whether it’s downloading the kit(s), the documentation and code examples from the Verification Methodology Cookbook, Academy Forums or online training courses.

Share