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

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

作　　者：王冠军[1] 赵莹[1] 王茂励[2] 

机构地区：[1]中国矿业大学计算机科学与技术学院 [2]山东省计算中心

出　　处：《哈尔滨工业大学学报》2010年第7期1153-1157,共5页Journal of Harbin Institute of Technology

基　　金：国家自然科学基金资助项目(69973014);中国矿业大学青年科研基金资助项目(2009A051)

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

关 键 词：高级综合 多项式符号代数 Grbner基 有限域 

分 类 号：TN401[电子电信—微电子学与固体电子学]