Test generation using cross-observability calculations

The authors propose a symbolic algorithm for test generation of combinational circuits based on a sweep from the outputs to the inputs that calculates the relation between the values on the lines cut by this sweep along the way. The algorithm may generate the entire set of test vectors for a particular fault, or only a subset of this set, as required. A simple Boolean version of the algorithm is introduced to generate tests under the stuck-at-0/stuck-at-1 model and then a more complex version using multivalued logic is presented for generating tests for stuck-open faults in CMOS circuits.<
>