多项式符号代数
Polynomial symbolic algebra
以上为机器翻译结果，长、整句建议使用 人工翻译 。
由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。
So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.
youdao
应用推荐
模块上移
模块下移
不移动