|
|
哈尔滨工业大学学报 2010
有限域上基于Grbner基的高级综合优化方法DOI: 10.11918/j.issn.0367-6234.2010.07.032, PP. 1153-1157 Keywords: 高级综合,多项式符号代数,Grbner基,有限域 Abstract: 提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性.
|
