On the computation of LFSR characteristic polynomials for built-in deterministic test pattern generation