An efficient logical fault diagnosis for combinational circuits using stuck-at fault simulation | IEEE Conference Publication | IEEE Xplore