Loading...

Coverage driven high-level test generation using a polynomial model of sequential circuits

Alizadeh, B ; Sharif University of Technology

481 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/TCAD.2010.2043571
  3. Abstract:
  4. This paper proposes a high-level test generation method which considers the control part as well as data path of a register transfer level circuit as a set of polynomial functions to generate behavioral test patterns from faulty behavior instead of comparing the faulty and fault-free circuits based on a hybrid Boolean-word canonical representation called Horner expansion diagram. Since this set of polynomial functions express primary outputs and next states with respect to primary inputs and present states, it is not necessary to perform justification/propagation phase which leads to a minimum number of backtracks. It improves fault coverage and reduces test generation time over logic-level techniques. We assess then the effectiveness of high-level test generation with a simple gate-level automatic test pattern generation algorithm. Experimental results show robustness and reliability of our method compared to other contemporary approaches in terms of fault coverage and CPU time
  5. Keywords:
  6. Fault coverage ; Horner expansion diagram ; Fault coverages ; High-level test generation ; Polynomial modeling ; Sequential circuit testing ; Test generations ; Boolean functions ; Polynomials ; Sequential circuits ; Testing ; Automatic test pattern generation
  7. Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; Volume 29, Issue 5 , 2010 , Pages 737-748 ; 02780070 (ISSN)
  8. URL: http://ieeexplore.ieee.org/document/5452130/?section=abstract