上海科技大学知识管理系统

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