定点算术数据通路的等价性检验方法

摘要：

以vanishing多项式理想的极小强Gr-bner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点数据通路的设计规范和寄存器传输级实现,将等价性检验问题转化为判断一个多项式函数是否为vanishing多项式、vanishing多项式理想的极小强Gr-bner基被用来有效地解决该问题.理论分析和实验结果表明,与现有的算法相比,该方法在时间消耗上具有一定的优势.

关键词：vanishing多项式、Gr-bner基、定点数据通路、等价性检验、形式验证

所属期刊栏目：21

分类号：TP391.7(计算技术、计算机技术)

资助基金：国家自然科学基金60273081

在线出版日期：2009-04-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：27-32