-
公开(公告)号：CN116306478A
公开(公告)日：2023-06-23
申请号：CN202310254694.0
申请日：2023-03-16
Applicant: 南京邮电大学
IPC: G06F30/398 , G06F30/3323
Abstract: 本发明公开了一种基于CDCL算法和计算机代数的逻辑等价性验证方法，包括步骤如下：S1,读入反向图文件，以内部编码的形式存储在软件中，运用计算机代数，将原电路中的加法器进行替换；S2，将待验证的两个电路的每一级输出通过异或门相连，连接为一个电路，以布尔可满足性问题文件输出；S3，读入布尔可满足性问题文件输出，运用CDCL算法对布尔可满足性问题文件进行求解。本发明的求解器求解前替换了部分加法器，使得电路复杂度降低，求解乘法器电路的等价性问题所需时间更短，内存开销更小。
Search Results
1
records
(took 0.021 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
