| 引用本文: | 王冠军,赵莹,王茂励.有限域上基于Grbner基的高级综合优化方法[J].哈尔滨工业大学学报,2010,42(7):1153.DOI:10.11918/j.issn.0367-6234.2010.07.032 |
| WANG Guan-jun,ZHAO Ying,WANG Mao-li.High level synthesis optimization approach based on Grbner basis over finite field[J].Journal of Harbin Institute of Technology,2010,42(7):1153.DOI:10.11918/j.issn.0367-6234.2010.07.032 |
|
| 摘要: |
| 提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性. |
| 关键词: 高级综合 多项式符号代数 Grbner基 有限域 |
| DOI：10.11918/j.issn.0367-6234.2010.07.032 |
| 分类号:TN301 |
| 基金项目:国家自然科学基金资助项目(69973014);中国矿业大学青年科研基金资助项目(2009A051) |
|
| High level synthesis optimization approach based on Grbner basis over finite field |
|
WANG Guan-jun1, ZHAO Ying1, WANG Mao-li2
|
|
1.School of Computer Science and Technology,China University of Mining and Technology,Xuzhou 221116,China;2.ShanDong Computer Science Center,Jinan 250014,China
|
| 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. |
| Key words: high level synthesis polynomial symbolic algebra(PSA) basis finite field |
