定点数据通路的等价验证

作者：李东海; 任艳庆; 马光胜

来源：小型微型计算机系统, 2009, (03): 537-540.

• 多项式函数
• 数据通路
• 验证
• 有限整数环 polynomial function
• datapath
• verification
• finite integer ring

以有限环代数为理论基础,提出一个定点数据通路的等价验证算法.该算法能有效地对实现多项式运算的寄存器传输级(register transfer level,RTL)定点数据通路进行等价验证.理论分析表明该算法的时间复杂性优于文献中存在的算法;实验结果表明该算法不论是对等价的数据通路的验证还是对含有故障的数据通路的验证均比已有的算法节省CPU时间.

• 出版日期2009
• 单位哈尔滨工程大学