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