Hierarchical test generation for data path

A method of hierarchical test generation for data path is proposed. The test patterns are generated for the basic blocks of a classical data path library. These test patterns are propagated to the inputs and to the outputs of the data path by two methods. The first one, practically implemented, enumerates backpropagation paths based on structural considerations, selects one and then performs consistency for real local test patterns. The second one works directly on symbolic values and uses immediately the back and forward propagation paths. Both methods take advantage of the existence of transparent blocks.<
>