Abstract： As designs become more complex, constrained randomized verification methods have become the mainstream method for verification. Generally, the verification incentive should be as random as possible without violating the spec description condition, so that the space that the verification can cover is more sufficient. However, this brings great challenges to the convergence of functional coverage. To solve this problem, Cadence pioneered the machine learning function of the simulator - Xcelium Machine Learning, which uses machine learning technology to quickly converge the functional coverage and greatly improve the efficiency of verification simulation. This article mainly introduces the process of using Xcelium Machine Learning and gives a comparison before and after using machine learning in the same simulation verification environment. Finally, the application prospect of machine learning in simulation verification is prospected.
Key words : random test；constrained random；functional coverage；machine learning；simulation
