基于GrO^¨bner基方法的乘法器等价性验证  

Equivalence Verification of Multipliers Based on GrO¨bner Basis Method

作　　者：张璇思 刘佳姝 江建国[1] 

机构地区：[1]辽宁师范大学数学学院,辽宁 大连

出　　处：《应用数学进展》2021年第1期343-350,共8页Advances in Applied Mathematics

摘　　要：乘法器的等价性验证目前仍是大规模算术集成电路设计领域内的一大难题。本文利用逻辑门与多项式之间的对应关系,构建了乘法器的代数模型,将乘法器等价性验证问题转化成理想成员判定问题,然后再用计算机代数系统中的Gröbner基方法进行求解。提出了一种对乘法器结构进行切片后再采用增量式验证的新方法。在Linux平台上的计算机代数系统Mathematica上所做的实验结果也表明了该方法的有效性。The equivalence verification of multipliers is still a difficult problem in the field of LSI design. In this paper, the algebraic model of multipliers is constructed by using the corresponding relationship between logic gates and polynomials. The problem of equivalence verification of multipliers is transformed into the problem of determining ideal members. Then, the problem is solved by the Gröbner basis method in computer algebra system. This paper presents a new method of incremental verification after slicing the multiplier structure. The experimental results on Mathematica, a computer algebra system on Linux platform, also show the effectiveness of the method.

关 键 词：GrO style=" margin-left:-10px ">¨bner基 等价性验证 整数乘法器 增量式验证 切片 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]