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

• 作者: 李东海 胡靖 马光胜
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: vanishing多项式 Gr-bner基 定点数据通路 等价性检验 形式验证
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 27-32
• 页数: 6页
• 分类号: TP391.7
• 字数: 6505字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马光胜	哈尔滨工程大学计算机科学与技术学院	74	240	8.0	12.0
2	李东海	哈尔滨工程大学计算机科学与技术学院	11	27	3.0	5.0
3	胡靖	哈尔滨工程大学计算机科学与技术学院	5	17	2.0	4.0