symbolic polynomial algebra
符号多项式代数
基于1个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。
So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.
youdao
应用推荐
模块上移
模块下移
不移动