An Automated Collective Approach to Verification Coverage Merge
computer and information technology(2016)
摘要
Increasing design complexity has increased the number of tests required to verify our project, which makes merging of coverage databases inefficient and time-consuming. Using an automated iterative collective approach addresses that bottleneck by continuously merging with existing coverage totals the information from individual simulations as they finish. It also shortlists tests that add incremental value to overall coverage percentages. This Optimized testlist is used to qualify major design changes quickly and efficiently.
更多查看译文
关键词
Coverage,Verification
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要