有限域上基于Gr?bner基的高级综合优化方法 (2010年)

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