买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜上海科技大学;张江国家实验室申请的专利基于GPU的逻辑重写加速方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116257358B 。

龙图腾网通过国家知识产权局官网在2025-03-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310179690.0，技术领域涉及：G06F9/50；该发明授权基于GPU的逻辑重写加速方法是由李琳;哈亚军设计研发完成，并于2023-02-27向国家知识产权局提交的专利申请。

本基于GPU的逻辑重写加速方法在说明书摘要公布了：本发明公开了一种基于GPU的逻辑重写加速方法。本发明将AIG重写的子过程并行化。将AIG重写的递归子过程重新设计为无递归的，以便为GPU提供足够的并行性。其次，为了在GPU上并行化替换步骤，本发明使用锁来确保互斥访问不可避免地会破坏节点间并行性的可扩展性。为了充分利用大规模节点间并行性，本发明提出了一个工作调度器，该调度器将MFFC不重叠的节点分为一组，以便可以同时删除MFFC中的节点而不冲突。为了同时创建和删除同一个节点，本发明还提出了一种GPU友好的图形数据结构来支持这些并发操作。

本发明授权基于GPU的逻辑重写加速方法在权利要求书中公布了：1.一种基于GPU的逻辑重写加速方法，其特征在于，将AIG重写的子过程并行化，并行AIG逻辑重写包括以下步骤：在CPU端，调度器从输入的AIG逻辑网络中异步选择一组拥有同一级别的节点；然后，将这些节点复制到GPU内存中，GPU依次启动内核以并行重写这些节点，同时，CPU也开始选择另一组节点供GPU改写，完全重叠了调度和改写的过程；在GPU采用cut枚举、MFFC计算、评估和替换完成节点的并行重写，其中：cut枚举采用基于子图的级别设计的并行cut枚举算法，采用并行cut枚举算法同时处理具有相同级别的节点，从较低级别到较高级别进行处理：上一个调度周期用来替换的子图里的节点根据子图的级别被分在不同的列表LAN[slevel]中，slevel为节点在用来替换的子图中的局部级别，并行计算同一列表LAN[slevel]中节点的cut，然后计算cut对应的布尔函数；MFFC计算采用一种自上而下的计算模式来并行化递归mffc计算算法：以需要计算mffc的cut列表开始，一个cut的每个mffc计算都分配给一个线程块，同一线程块中的线程协作计算该cut的mffc，当线程块拿到对应的cut后：步骤1、当前cut的根节点被加到此节点对应的MFFC集合中，MFFC为存储最后所有mffc节点的集合；步骤2、根节点的左右孩子被添加到缓冲区F1中，每个线程从缓冲区F1中提取一个节点n，如果节点n的所有扇出都在当前MFFC集合中，则函数IS_MFFC_NODEn将被评估为真，此时，节点n的所有扇出都被加入到缓冲区F2，节点n被加入到MFFC集合中；步骤3、重复步骤2直至处理完缓冲区F1中所有的节点之后，交换F1和F2的角色；步骤4、采用步骤2至步骤3相同的方法处理当前cut的一个叶子节点，直至当前cut的所有叶子节点都被处理完毕；在替换环节，利用无锁替换算法解决频繁地修改逻辑图所存在的大量数据争用，其中：为解决持有的MFFC重叠的不同线程可能会删除同一个节点的冲突，采用节点调度器对MFFC不重叠的节点进行分组；为解决不同线程持有的MFFC没有重叠，但一个线程可能想要共享其他线程将删除的节点的冲突，将替换过程分为两个阶段：在第一阶段，GPU的每个块删除MFFC并构建新的子图；在第二阶段，GPU的每个块将所有等价节点组合成一个超节点，超节点支持一个节点的并发删除创建操作，而无需在不同线程之间引入锁。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海科技大学;张江国家实验室，其通讯地址为：201210 上海市浦东新区华夏中路393号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。