Using symbolic computer algebra for subexpression factorization and subexpression decomposition in high level synthesis. - Xianwu Xing; Ching-Chuen Jong (ISCAS (6), 2005)

A look-ahead synthesis technique with backtracking for switching activity reduction in low power high-level synthesis. - Xianwu Xing; Ching-Chuen Jong (Microelectron. J., 2007)

Multivoltage Multifrequency Low-Energy Synthesis for Functionally Pipelined Datapath. - Xianwu Xing; Ching-Chuen Jong (IEEE Trans. Very Large Scale Integr. Syst., 2009)

Floorplan-Driven Multivoltage High-Level Synthesis. - Xianwu Xing; Ching-Chuen Jong (VLSI Design, 2009)