基于散列表的加法器重写优化算法

摘要

在大规模算术集成电路设计领域中,乘法器电路的验证是一重大难题。当前主流的方法是Gröbner基法。在此基础上,研究者们提出了加法器重写等优化方法,但重写过程依赖进位变量且需遍历全部变量,导致验证效率降低。为此,本文利用散列表对该方法进行优化,使用散列表存储所有和位输出变量,遍历表中元素进行扩充,再结合加法器的结构特性去识别加法器,从而不再依赖进位变量并且减少了需要遍历的变量数目。由实验结果可知,优化算法提高了Gröbner基的生成效率,也提高了乘法器的验证效率。