Research ArticleOpen accessIn the keywordsVerifying 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
Research ArticleOpen accessIn the abstractA Review of Covering Arrays and Their Application to Software TestingBestoun S. Ahmed, Kamal Z. ZamliProblem statement: As a complex logic system, software may suffer from different source of faults. Those faults can be avoided by applying different testing processes. It appears recently that the interaction among the system factors represents a common source of faults. Software function properly, all input factors and their interactions of the software need to be tested i.e., exhaustive testing. … …Journal of Computer Science, Vol. 7, Issue 9 · 23 Jul 2011 · 8,707 accessesView PDFCite
Research ArticleOpen accessIn the abstractA 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