10.13911/j.cnki.1004-3365.210493
基于改进型SAT求解器算法的组合电路等价性检查研究
随着工艺节点的缩小,集成电路规模的增加,集成电路设计过程中逻辑等价性检查在确保设计功能正确性方面起着重要作用.文章研究了组合电路逻辑等价性检查技术,针对该领域常用的DPLL和CDCL算法存在的问题,提出了一种基于蒙特卡洛树搜索的改进算法.通过对ISCAS85测试集的一个子集的实验,证实该算法对CDCL算法有一定的改进,应用于组合电路等价性检查的平均运行时间减少了 20％.
等价性检查、组合电路、可满足性问题、EDA
53
TN402(微电子学、集成电路（IC）)
西安电子科技大学校企合作项目HX07202012009
2023-05-26（万方平台首次上网日期，不代表论文的发表时间）
共6页
109-114
