Design and synthesis of self-checking VLSI circuits and systems | IEEE Conference Publication | IEEE Xplore