Yuki Watanabe Naofumi Homma Takafumi Aoki Tatsuo Higuchi Application of symbolic computer algebra to arithmetic circuit verification. 25-32 2007 ICCD http://dx.doi.org/10.1109/ICCD.2007.4601876 conf/iccd/2007 db/conf/iccd/iccd2007.html#WatanabeHAH07