Issam Alzaher-Noufal Michael Nicolaidis A CAD Framework for Generating Self-Checking 1 Multipliers Based on Residue Codes. 122- 1999 conf/date/1999 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.1999.761107 db/conf/date/date1999.html#NoufalN99