字级多项式相关论文
当前所研究的集成电路已经越来越趋于复杂化，伴随着这个变化，需要在设计流程的早期进行良好的功能正确性验证。将多项式代数符号方法......
泰勒展开图是基于图的表达方式，能够有效地表示多变量多项式。提出泰勒展开图的变量替换算法和变量合并算法。并在此基础上提出一个......
为了实现多项式数据通路的初始算术规范与其相应的寄存器传输级实现之间的等价性验证，提出了一个有序的、简化的和正则的带权值广义......
