发明名称 集成电路逻辑优化并行处理方法
摘要 本发明公开了一种集成电路逻辑优化并行处理方法,并行处理在逻辑优化中所处的位置:将多输入输出逻辑矩阵划分成多个多输入单输出逻辑矩阵,然后将这些多输入单输出逻辑调度到处理结点上进行优化处理;所述优化处理是结合了逻辑优化过程中逻辑的规模和逻辑中各蕴涵项之间可以合并的几率,从而形成的并行处理调度算法;在逻辑优化并行处理的调度过程中进行分段,并在每个段内遵循优先调度处理时间较长的逻辑;集成电路逻辑优化并行处理中采用分配策略。本发明可根据集成电路逻辑函数的蕴涵项的项数和蕴涵项之间的关联度而设计的可提高集成电路逻辑优化的处理效率。
申请公布号 CN103034758A 申请公布日期 2013.04.10
申请号 CN201210525602.X 申请日期 2012.12.07
申请人 南通大学 发明人 邱建林;陈建平;顾翔;陈莉;潘阳;杨娜
分类号 G06F17/50(2006.01)I 主分类号 G06F17/50(2006.01)I
代理机构 南通市永通专利事务所 32100 代理人 葛雷
主权项 一种集成电路逻辑优化并行处理方法,其特征是:包括:(1)并行处理在逻辑优化中所处的位置:将多输入输出逻辑矩阵划分成多个多输入单输出逻辑矩阵,然后将这些多输入单输出逻辑调度到处理结点上进行优化处理;(2)所述优化处理是结合了逻辑优化过程中逻辑的规模和逻辑中各蕴涵项之间可以合并的几率,从而形成的并行处理调度算法;在逻辑优化并行处理的调度过程中进行分段,并在每个段内遵循优先调度处理时间较长的逻辑;具体的步骤如下:(a)对于划分过的多输入多输出逻辑,先考虑逻辑规模的影响对多个逻辑进行处理,也就是根据各个多输入单输出逻辑的规模,即多输入单输出逻辑中蕴涵项的数量numi,对这些多输入单输出逻辑进行分组;(b)然后从规模较大的逻辑组到规模小的逻辑组分别进行处理;在各个逻辑组中,都是按照每个逻辑的各蕴涵项之间的关联度从大到小进行调度,关联度利用公式: <mrow> <msub> <mi>judge</mi> <mi>i</mi> </msub> <mo>=</mo> <munderover> <mi>&Sigma;</mi> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> <msub> <mi>num</mi> <mi>i</mi> </msub> </munderover> <msup> <mrow> <mo>(</mo> <msub> <mi>c</mi> <mi>ij</mi> </msub> <mo>-</mo> <msub> <mi>k</mi> <mi>i</mi> </msub> <mo>/</mo> <msub> <mi>num</mi> <mi>i</mi> </msub> <mo>)</mo> </mrow> <mn>2</mn> </msup> <mo>/</mo> <msub> <mi>num</mi> <mi>i</mi> </msub> </mrow>其中cij表示每个逻辑中每个蕴涵项与其他蕴涵项可以并的数量,ki是每个逻辑中cij的统计之和;(c)对于judgei相同的逻辑来说,进一步利用每个逻辑的可并规模和逻辑的规模之比,对比值大的先进行调度,即公式:judge2i=ki/mumi;(3)集成电路逻辑优化并行处理中的分配策略:根据处理结点资源的预期等待时间的长短,将逻辑优先调度分配到预期最先处于等待状态的处理结点资源上,也可以说是在负载均衡的基础上分配到完成代价最优的处理结点资源上,有表达式: <mfenced open='{' close=''> <mtable> <mtr> <mtd> <msub> <mi>C</mi> <mi>p</mi> </msub> <mo>=</mo> <mi>&alpha;</mi> <msub> <mi>R</mi> <mi>cp</mi> </msub> <mo>+</mo> <mi>&beta;</mi> <msub> <mi>DT</mi> <mi>cp</mi> </msub> <mo>+</mo> <mi>&gamma;</mi> <msub> <mi>QoS</mi> <mi>cp</mi> </msub> </mtd> </mtr> <mtr> <mtd> <msub> <mi>Ext</mi> <mi>p</mi> </msub> <mo>=</mo> <msub> <mi>Ext</mi> <mi>p</mi> </msub> <mo>+</mo> <msub> <mi>C</mi> <mi>p</mi> </msub> </mtd> </mtr> </mtable> </mfenced>其中Cp为该逻辑在处理结点p上的预期处理代价,α、β、γ分别为该逻辑在处理结点p上的资源代价Rcp、数据迁移代价DTcp和服务质量代价QoScp的权值,Extp为处理结点的预期完成时间,也就是处理结点预期处于等待状态的时间。
地址 226019 江苏省南通市啬园路9号