2 papers
cs.AR2022
Hybrid Intelligent Testing in Simulation-Based Verification
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Efficient and effective testing for simulation-based hardware verification is challenging. Using constrained random test generation, several millions of tests may be required to ac…
cs.AR2022
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification
Nyasha Masamba, Kerstin Eder, Tim Blackmore
Constrained random test generation is one of the most widely adopted methods for generating stimuli for simulation-based verification. Randomness leads to test diversity, but tests…