This paper demonstrates a similarity transform between the tridiagonal matrices of one-dimensional linear hybrid cellular automata and the companion matrices of linear feedback shift registers. Such a transform is of interest to the VLSI design community, as it provides an explicit mapping between the states of these two linear finite state machines.
Academic PressA one-dimensional linear hybrid cellular automata (CA) is a linear finite state machine used in VLSI for test pattern generation and signature analysis. As well as their practical applications, these machines have proved to have fascinating theoretical properties, one of which is the relationship between a CA and its characteristic polynomial. One facet of this relationship is the similarity transform between a CA and its corresponding linear feedback shift register (LFSR).Given a CA, it is easy to find its (unique) characteristic polynomial. The reverse problem of finding a CA for a given polynomial was open for several years [1,7], and was solved (for GF(2) only) independently for irreducible polynomials by [2,9]. Both authors give a proof of existence, a proof of uniqueness (up to rule reversal), and an algorithm (the algorithms are quite different but have the same order of complexity).The transform presented here does not solve any of the above problems, as it relies on knowing the CA in advance. Rather, given the above results, it