An efficient output function partitioning algorithm for reducing hardware overhead in self-checking circuits and systems | IEEE Conference Publication | IEEE Xplore