New Testability Measures For High Level Description Of Circuits

This paper proposes high level testabillty measures based on constraints propagation approach and symbolic fault modelling. These measures are compared with some others on a circuit example poinung out their accunacy to show the circuit areas which are difficult to test.