Derivation of optimum tests to detect faults in combinational circuits