定点数据通路的等价验证

摘要

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