对逻辑网络进行逻辑重写方法及相关设备技术

本申请提供一种对逻辑网络进行逻辑重写方法及相关设备。该方法，包括：确定所述逻辑网络对应的目标网络和模板网络；针对所述目标网络中的第一目标节点，构建所述第一目标节点的分割集；利用所述分割集与所述模板网络进行匹配，得到所述分割集对应的第一匹配集合；基于单相覆盖对所述第一匹配集合进行求解，得到第二匹配集合；响应于确定所述第二匹配集合包括不可行的匹配，对所述不可行的匹配进行修复，得到所述不可行的匹配对应的可行的匹配；基于所述第二匹配集合和所述不可行的匹配对应的可行的匹配，对逻辑网络进行逻辑重写。对逻辑网络进行逻辑重写。对逻辑网络进行逻辑重写。

【技术实现步骤摘要】
对逻辑网络进行逻辑重写方法及相关设备


[0001]本申请涉及数字逻辑电路
，尤其涉及一种对逻辑网络进行逻辑重写方法及相关设备。

技术介绍

[0002]逻辑重写是一种在保证数字逻辑电路（也常称为逻辑网络，Boolean Network）的逻辑功能等价的基础上的变换方法。通过逻辑重写的变换，电路的时序、功耗或者面积（PPA）将得以优化。现代的数字电路的电子设计自动化（EDA）软件都或多或少地支持逻辑重写技术来实现PPA的优化。
[0003]在相关技术中，逻辑重写的计算效率偏低。

技术实现思路

[0004]有鉴于此，本申请的目的在于提出一种对逻辑网络进行逻辑重写方法及相关设备，以解决或部分解决上述问题。
[0005]本申请第一方面，提供了一种对逻辑网络进行逻辑重写方法，包括：确定所述逻辑网络对应的目标网络和模板网络；针对所述目标网络中的第一目标节点，构建所述第一目标节点的分割集；利用所述分割集与所述模板网络进行匹配，得到所述分割集对应的第一匹配集合；基于单相覆盖对所述第一匹配集合进行求解，得到第二匹配集合；响应于本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种对逻辑网络进行逻辑重写方法，包括：确定所述逻辑网络对应的目标网络和模板网络；针对所述目标网络中的第一目标节点，构建所述第一目标节点的分割集；利用所述分割集与所述模板网络进行匹配，得到所述分割集对应的第一匹配集合；基于单相覆盖对所述第一匹配集合进行求解，得到第二匹配集合；响应于确定所述第二匹配集合包括不可行的匹配，对所述不可行的匹配进行修复，得到所述不可行的匹配对应的可行的匹配；基于所述第二匹配集合和所述不可行的匹配对应的可行的匹配，对逻辑网络进行逻辑重写。2.如权利要求1所述的方法，其中，基于单相覆盖对所述第一匹配集合进行求解，得到第二匹配集合，包括：确定对所述第一匹配集合进行求解的单相覆盖问题；将所述单相覆盖问题转化为一个等价问题；采用贪心算法对所述等价问题求解，得到所述第二匹配集合。3.如权利要求2所述的方法，其中，所述等价问题的定义是：给定一个全集U和全集U的一组子集的集合S={s1,s2,
…
s
m
}，每个子集所对应的损失为{c1,c2,
…
c
m
}，要求从{s1,s2,
…
s
m
}内选择最小总损失的子集Q，且子集Q满足：QS并且Q内全部子集的并集等于全集U；将所述单相覆盖问题转化为一个等价问题，进一步包括：将求解单相覆盖问题的约束中的每一个与项视作全集U中的一个元素；将所述第一匹配集合中的每一个第一匹配视作一个子集s
j
，该子集的成员为：当第一匹配m
i
=1时，取值结果为1的与项。4.如权利...

【专利技术属性】
技术研发人员：邢自然，
申请(专利权)人：芯行纪科技有限公司，
类型：发明
国别省市：