Synthesis of autonomous TPG circuits oriented for two-pattern testing

Abstract

A method to design one-dimensional cellular arrays for use as TPG circuits is described. The interconnections between cells are not limited to adjacent ones but allowed to some neighbors. Completely regular structures that have full-transition coverages for every k-dimensional subspace of state variables are first shown. Then, almost regular arrays which can operate on maximal cycles are derived based on fast parallel implementations of LFSRs.<>