基于模拟的定点算术数据通路等价性验证

摘要：

为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的,结合算术转换和多项式函数对实现序列加法、乘法、移位运算的定点数据通路进行建模,根据多项式函数的结论得到对定点数据通路进行等价验证所需要的模拟向量数的上界,避免穷举所有的模拟向量.实验结果证明本文提出的方法是有效的.

关键词：计算机系统结构、等价验证、数据通路、多项式函数、算术转换

所属期刊栏目：39

分类号：TP302.1(计算技术、计算机技术)

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

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

页数：共5页

页码：1309-1313