Hybrid Intelligent Testing in Simulation-Based Verification. (arXiv:2205.09552v2 [cs.AR] UPDATED)

Web: http://arxiv.org/abs/2205.09552

Efficient and effective testing for simulation-based hardware verification is
challenging. Using constrained random test generation, several millions of
tests may be required to achieve coverage goals. The vast majority of tests do
not contribute to coverage progress, yet they consume verification resources.
In this paper, we propose a hybrid intelligent testing approach combining two
methods that have previously been treated separately, namely Coverage-Directed
Test Selection and Novelty-Driven Verification. Coverage-Directed Test
Selection learns from coverage feedback to bias testing towards the …

ar arxiv hybrid intelligent simulation testing verification