Research ArticleOpen accessIn the author namesA 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
Research ArticleOpen accessIn the author namesVerifying Complex Interaction between Hardware ProcessesKiran Ramineni, Shireesh Verma, Ian G. HarrisProblem statement: Verification of correct functionality of semiconductor devices has been a challenging problem. Given the device fabrication cost, it is critical to verify the expected functionality using simulations of executable device models before a device manufactured. However, typical industrial scale devices today involve large number of interactions between their components. Complexity of verifying all interactions becomes almost intractable even … …Journal of Computer Science, Vol. 5, Issue 2 · 28 Feb 2009 · 6,953 accessesView PDFCite