7 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
Showing cs.ARShow all
2 papers · 1 filter
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…