Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsuo Higuchi. Application of symbolic computer algebra to arithmetic circuit verification. In 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings. pages 25-32, IEEE, 2007. [doi]
Abstract is missing.