Hybrid Intelligent Testing in Simulation-Based Verification
Nyasha Masamba, Kerstin Eder, Tim Blackmore

TL;DR
This paper introduces a hybrid testing approach for simulation-based hardware verification that combines coverage-directed test selection and novelty-driven verification to improve testing efficiency and effectiveness.
Contribution
It presents a novel hybrid method that integrates two previously separate techniques, enhancing hardware testing by reducing simulations and increasing coverage.
Findings
Reduces number of simulations needed for coverage
Improves test effectiveness through hybrid approach
Addresses limitations of individual methods
Abstract
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 toward the most effective tests. Novelty-Driven Verification learns to identify and simulate stimuli that differ from previous stimuli, thereby reducing the number of simulations and increasing testing efficiency. We discuss the strengths and limitations of each method, and we show how our approach…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
