Xianwu Xing, Ching-Chuen Jong. Using symbolic computer algebra for subexpression factorization and subexpression decomposition in high level synthesis. In International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan. pages 5645-5648, IEEE, 2005. [doi]
Abstract is missing.