Research ArticleOpen accessIn the keywordsA Control-Oriented Coverage Metric and its Evaluation for Hardware DesignsShireesh Verma, Kiran Ramineni, Ian G. HarrisProblem statement: Dynamic verification, the use of simulation to determine design correctness, is widely used due to its tractability for large hardware designs. A serious limitation of dynamic techniques is the difficulty in determining whether or not a test sequence is sufficient to detect all likely design errors. Coverage metrics are used to address this problem by providing a set … …Journal of Computer Science, Vol. 5, Issue 4 · 30 Apr 2009 · 7,528 accessesView PDFCite