Automatic High-Level Data-Flow Synthesis and Optimization of Polynomial Datapaths Using Functional Decomposition

作者：Ghandali Samaneh^*; Alizadeh Bijan; Fujita Masahiro; Navabi Zainalabedin

来源：IEEE Transactions on Computers, 2015, 64(6): 1579-1593.

DOI：10.1109/TC.2014.2345395

• High-level synthesis
• polynomial datapath
• functional decomposition
• modulo optimization
• vanishing polynomial

This paper concentrates on high-level data-flow optimization and synthesis techniques for datapath intensive designs such as those in Digital Signal Processing (DSP), computer graphics and embedded systems applications, which are modeled as polynomial computations over Z(2n1) x Z(2n2) x ... x Z(2nd) to Z(2m). Our main contribution in this paper is proposing an optimization method based on functional decomposition of multivariate polynomial in the form of f(x) = g(x) o h(x) + f(0) = g(h(x)) + f(0) to obtain good building blocks, and vanishing polynomials over Z(2m) to add/delete redundancy to/from given polynomial functions to extract further common sub-expressions. Experimental results for combinational implementation of the designs have shown an average saving of 38.85 and 18.85 percent in the number of gates and critical path delay, respectively, compared with the state-of-the-art techniques. Regarding the comparison with our previous works, the area and delay are improved by 10.87 and 11.22 percent, respectively. Furthermore, experimental results of sequential implementations have shown an average saving of 39.26 and 34.70 percent in the area and the latency, respectively, compared with the state-of-the-art techniques.

• 出版日期2015-6