在高级规范和系统级描述上，运用多项式理论来解决高层次综合问题已经被证实是一种有效的技术。

Polynomial representation has been proven as an effective technique for representing both high-level specification and system-level description of an implementation.

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

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

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

youdao