On the synthesis of unidirectional combinational circuits detecting all single faults | IEEE Conference Publication | IEEE Xplore