Design for Test Calculus: An Algorithm for DFT Rules Checking

A new one-pass algorithm for checking networks for compliance to a set of Design for Test (DFT) rules is presented. The algorithm is based on a "Design For Test Calculus" which defines various types of signals and nodes in the network, signal sets attached to node\´s inputs and outputs, and rules for transferring signal sets through nodes. The rule checking is accomplished by examining the characteristic contents of the signal sets transferred. The calculus is capable of handling a wide variety of "test point flip-flops" and test access schemes, and has features that make hierarchical rule checking feasible.