Design for Test Calculus: An Algorithm for DFT Rules Checking
Dilip K. Bhavsar · Design Automation Conference · 1983
A new one-pass algorithm for checking networks for compliance to a set of 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 point flip-flops and test access schemes, and has features that make hierarchical rule checking feasible.