arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2205.09552cs.ARcs.AIcs.LGcs.SE
收藏

Hybrid Intelligent Testing in Simulation-Based Verification

University of Bristol(布里斯托大学);Infineon Technologies(英飞凌科技)

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 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 addresses each method's limitations, leading to hardware testing that is both efficient and effective.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑