-
公开(公告)号：CN117150920A
公开(公告)日：2023-12-01
申请号：CN202311165438.0
申请日：2023-09-11
Applicant: 北京大学
IPC: G06F30/27 , G06F30/367 , G06N5/02 , G06N3/0464
Abstract: 本发明公布了一种基于图神经网络模型的组合逻辑电路等价性判定方法，设计问题实例的编码方案，提取求解器中的关键可配置参数，并基于图神经网络模型构建求解器预测网络，求解器预测网络对电路的结构和逻辑特征进行自动提取，为问题实例选取最优的求解器。本发明基于图神经网络构建逻辑等价性验证工具，用户在无需了解任何求解器实现细节的情况下，可以通过本发明提出的方法构建多求解器组合，利用不同求解器的特性对不同组合逻辑电路的逻辑等价性进行高效判定。
Search Results
1
records
(took 0.012 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
