• DocumentCode
    3548258
  • Title

    Bounds on signature analysis aliasing for random testing

  • Author

    Saxena, N.R. ; Franco, P. ; McCluskey, E.J.

  • Author_Institution
    Dept. of Electr. Eng. & Comput. Sci., Stanford Uni., CA, USA
  • fYear
    1991
  • fDate
    25-27 June 1991
  • Firstpage
    104
  • Lastpage
    111
  • Abstract
    Simple bounds on the aliasing probability for serial signature analysis are presented. To motivate the study, it is shown that calculation of exact aliasing is NP-hard and that coding theory does not necessarily help. It is shown that the aliasing probability is bounded above by 2/(L+2) for test lengths L less than the period, L/sub c/, of the signature polynomials; for test lengths L that are multiples of L/sub c/, the aliasing probability is bounded above by 1; and, for test lengths L greater than L/sub c/ and not a multiple of L/sub c/, the aliasing probability is bounded above by 2/(L/sub c/+1). These simple bounds avoid any exponential complexity associated with the exact computation of the aliasing probability. Simple bounds also apply to signature analysis based on any linear finite state machine (including linear cellular automata).<>
  • Keywords
    computational complexity; finite automata; logic testing; NP-hard; aliasing probability; bounds; coding theory; exponential complexity; linear cellular automata; linear finite state machine; random testing; signature analysis aliasing; signature polynomials; Automata; Automatic testing; Circuit faults; Circuit testing; Compaction; Computer errors; Feedback; Laboratories; Polynomials; Very large scale integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Fault-Tolerant Computing, 1991. FTCS-21. Digest of Papers., Twenty-First International Symposium
  • Conference_Location
    Montreal, Quebec, Canada
  • Print_ISBN
    0-8186-2150-8
  • Type

    conf

  • DOI
    10.1109/FTCS.1991.146641
  • Filename
    146641