Using symbolic computer algebra for subexpression factorization and subexpression decomposition in high level synthesis.

Xianwu Xing, Ching-Chuen Jong

Browse the full ISCAS paper archive.