Abstract:
For more than 20 years Design for Testability (DFT) is in a big impasse: the solutions proposed do not represent general methods, well argumented and formalized – they rather present cases of specific structures or particular design methods. The results obtained are far away from those expected to be achieved when the problem of design for testability raised in the 60’s of the 20th century. This reality demonstrates the need to elaborate a new DFT paradigm, based on original concepts and non-standard approaches. The work-paper presents a study on complementarity properties of logical functions couples, representing the base of a new DFT paradigm elaboration. At the same time, the paper establishes the relationship between complementarity, equivalence and duality of the logical functions.