A quantitative characterization of cross coverage
Zhou J.3; Lan C.3; Hung W.N.N.2; Guo X.4; Song X.1
Source PublicationIEEE Transactions on Computers
AbstractEffective verification methods are necessary for finding bugs in complex system design. Given domain specific knowledge, design verification engineers typically specify cross coverage for certain risky areas where bugs tend to appear. This paper proposes a pragmatic coverage model based on cross coverage. We address the verification on user specified cross coverage regions. The proposed analysis models the probability of exposing the bug within a given number of samplings, and derives the expected number of samples until bug detection. The approach is applicable to random, round-robin, and hybrid sampling strategies in recurring and nonrecurring cases based on our cross coverage model. We have written Matlab and C programs that use our formulas to calculate the probabilities. Experimental results show that our analysis is consistent with Monte Carlo simulation.
KeywordCoverage model probabilistic analysis
URLView the original
Fulltext Access
Citation statistics
Cited Times [WOS]:2   [WOS Record]     [Related Records in WOS]
Document TypeJournal article
CollectionUniversity of Macau
Affiliation1.Portland State University
2.Synopsys Incorporated
3.Inner Mongolia University China
4.Tsinghua University
Recommended Citation
GB/T 7714
Zhou J.,Lan C.,Hung W.N.N.,et al. A quantitative characterization of cross coverage[J]. IEEE Transactions on Computers,2015,64(8):2408-2414.
APA Zhou J.,Lan C.,Hung W.N.N.,Guo X.,&Song X..(2015).A quantitative characterization of cross coverage.IEEE Transactions on Computers,64(8),2408-2414.
MLA Zhou J.,et al."A quantitative characterization of cross coverage".IEEE Transactions on Computers 64.8(2015):2408-2414.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Zhou J.]'s Articles
[Lan C.]'s Articles
[Hung W.N.N.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Zhou J.]'s Articles
[Lan C.]'s Articles
[Hung W.N.N.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Zhou J.]'s Articles
[Lan C.]'s Articles
[Hung W.N.N.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.