由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。

So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.

youdao

由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。

So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.

youdao