User login

Iterative algorithms for computing aliasing probabilities

Publication Type:

Journal Article


IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. (USA), Volume 10, p.260-5 (1991)



built-in self test; computational complexity; integrated circuit testing; iterative methods; logic testing; Markov processes; probability


An algorithm, ALG-MK, for computing exact aliasing probabilities in signature analysis is derived from a Markov process model of signature analysis. A previous algorithm, ALG-BL, which was derived from a Boolean expressions formulation of the problem, is reformulated so that it can also be reviewed as being based on a Markov process. Both algorithms compute exact aliasing probabilities in signature analysis. The computational complexities of the two models are compared. It is shown that the time complexity of the iterative algorithm ALG-MK is O(L2k), disregarding slight possible start-up and termination improvements, while that of ALG-BL is O(Lf2k+f), where k is the size of the signature register, f is the number of feedback taps, and L is the test sequence length. ALG-BL requires more shift and add operations, but requires half the number of floating-point multiplications that ALG-MK requires. The space complexity of ALG-MK is O(2k), while that of ALG-BL is O(2k+f). It is also shown that ALG-MK and ALG-BL are formally related through a linear transformation of their state vectors. Both algorithms may be used to study aliasing under generalized error models