论文部分内容阅读
基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路，但却难以满足高层次设计验证要求．由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法．深入研究了使用多项式表达式描述复杂数据通路行为的方法，得到了高层次数据通路的多项式集合表示的一般形式．从多项式集合公共零点的角度定义了高层次数据通路的功能等价，给出了一个基于Groebner基计算的有效代数求解算法．针对不同基准数据通路的实验结果表明了该算法的有效性．