Decisive differences and partial differences for stuck-at faultdetection in MVL circuits

摘要

An extension of the exclusive-OR operator is defined fornmultivalued algebra. This operator, called the decisive difference andndenoted ⊖, is particularly useful for multivalued stuck-at faultndetection experiments. The ⊖ operator is used in the definitionnof functional transformations called partial differences. Basicnproperties of partial differences are presented, and it is shown hownthey can be used to find stuck-at fault sets of tests fornsum-of-products form functions in the chain lattice algebra. The methodnuses strictly algebraic manipulation rather than exhaustive mapnsearching. Partial differences can also be used to find sets of testsnfor internal and multiple stuck-at faults. Multivalued derivativesndescribed by several other authors and Boolean differences are specialncases of partial differences