Yuki Watanabe Naofumi Homma Takafumi Aoki Tatsuo Higuchi Arithmetic Circuit Verification Based on Symbolic Computer Algebra. 3038-3046 2008 91-A IEICE Transactions 10 http://dx.doi.org/10.1093/ietfec/e91-a.10.3038 db/journals/ieicet/ieicet91a.html#WatanabeHAH08