来源：金融界网站

转自：金融界

本文源自:金融界

金融界2023年12月4日消息，据国家知识产权局公告，北京大学申请一项名为“基于图神经网络模型的组合逻辑电路等价性判定方法”，公开号CN117150920A，申请日期为2023年9月。

专利摘要显示，本发明公布了一种基于图神经网络模型的组合逻辑电路等价性判定方法，该方法设计问题实例的编码方案，提取求解器中的关键可配置参数，并基于图神经网络模型构建求解器预测网络，求解器预测网络对电路的结构和逻辑特征进行自动提取，为问题实例选取最优的求解器。本发明基于图神经网络构建逻辑等价性验证工具，用户在无需了解任何求解器实现细节的情况下，可以通过本发明提出的方法构建多求解器组合，利用不同求解器的特性对不同组合逻辑电路的逻辑等价性进行高效判定。