| 定点算术数据通路的等价性检验方法 |
| |
| 引用本文： | 李东海,马光胜,胡靖.定点算术数据通路的等价性检验方法[J].计算机辅助设计与图形学学报,2009,21(1). |
| |
| 作者姓名： | 李东海 马光胜 胡靖 |
| |
| 作者单位： | 哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001 |
| |
| 摘 要： | 以vanishing多项式理想的极小强Gr-bner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点数据通路的设计规范和寄存器传输级实现,将等价性检验问题转化为判断一个多项式函数是否为vanishing多项式、vanishing多项式理想的极小强Gr-bner基被用来有效地解决该问题.理论分析和实验结果表明,与现有的算法相比,该方法在时间消耗上具有一定的优势.
|
| 关 键 词： | vanishing多项式 Gr-bner基 定点数据通路 等价性检验 形式验证 |
Equivalence Checking Method for Fixed-Point Arithmetic Datapaths |
| |
| Li Donghai,Ma Guangsheng,Hu Jing.Equivalence Checking Method for Fixed-Point Arithmetic Datapaths[J].Journal of Computer-Aided Design & Computer Graphics,2009,21(1). |
| |
| Authors: | Li Donghai Ma Guangsheng Hu Jing |
| |
| Affiliation: | College of Computer Science and Technology;Harbin Engineering University;Harbin 150001 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
