Naofumi Takagi Shuzo Yajima On-Line Error-Detectable High-Speed Multiplier Using Redundant Binary Representation and Three-Rail Logic. 1310-1317 1987 36 IEEE Trans. Computers 11 db/journals/tc/tc36.html#TakagiY87 http://doi.ieeecomputersociety.org/10.1109/TC.1987.5009470