基于改进型SAT求解器算法的组合电路等价性检查研究

QU Zhan,LI Kang,LIU Hongjin,ZHANG Shaolin,LI Bin,ZHOU You,SHI Jiangyi, QI Zhongdong

Microelectronics（2023）

引用 0|浏览2

暂无评分

摘要

随着工艺节点的缩小,集成电路规模的增加,集成电路设计过程中逻辑等价性检查在确保设计功能正确性方面起着重要作用.文章研究了组合电路逻辑等价性检查技术,针对该领域常用的DPLL和CDCL算法存在的问题,提出了一种基于蒙特卡洛树搜索的改进算法.通过对ISCAS85测试集的一个子集的实验,证实该算法对CDCL算法有一定的改进,应用于组合电路等价性检查的平均运行时间减少了 20％.

查看译文

关键词

equivalence checking,combinational circuit,satisfiability problem（SAT）,EDA

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要