A CAD framework for generating self-checking multipliers based on residue codes | IEEE Conference Publication | IEEE Xplore