有限域上基于Grbner基的高级综合优化方法

High level synthesis optimization approach based on Grbner basis over finite field

摘要:

提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性.

Abstract:

The high level synthesis approach based on PSA is proposed.The datapath represented by PSA was constructed with the library elements firstly,then the basis of polynomial representation datapath was computed.Some operations were implemented using basis,such as multivariate polynomial decomposition,the grea test common divisor extraction,library mapping and so on,thus the optimization of datapath with these operations was achieved.The complexity analysis of algorithm was carried out.The experiment was implemented on the SUN station with Maple10.The results show the efficiency our method.