一种重构高性能目标阵列的方法

摘要

本发明公开了一种重构高性能目标阵列的方法，包括如下步骤：逻辑列的可满足性，逻辑列重叠区域的可满足性，可满足性模型变量约束规则，目标阵列可满足性模型生成算法，基于目标阵列可满足性模型的高性能目标阵列完备算法，基于目标阵列可满足性模型的高性能目标阵列非完备算法，该步骤用于提高目标阵列的性能，GNPTASAT算法至少要找到与CMTA算法求得的目标阵列相互等价的目标阵列时才会终止，极大的提高了重构目标阵列的性能，算法GNPTASAT优越于算法CMTA和算法DP_GCR，实验数据证明对于重构高性能目标阵列具有极大的益处。

主权项

一种重构高性能目标阵列的方法，其特征在于：包括以下步骤：S1、逻辑列的可满足性，B_l,B_r表示两条位于大小为m×n的物理阵列中的逻辑列，那么这两条逻辑列与物理阵列中的任意一行都存在唯一的交集，且交集中的元素只有一个，其中逻辑列B_l和逻辑列B_r之间所有的无故障的处理单元所形成的区域，包括位于逻辑列B_l和逻辑列B_r列上的正常单元，逻辑列B_l和逻辑列B_r列分别被称为这个区域的左边界和右边界；S2、逻辑列重叠区域的可满足性，逻辑列的产生区域是可以通过左右边界逻辑列来确定，边界逻辑列基于贪心算法得到的，那么这造成了逻辑列的产生区域之间可能存在彼此重叠，形成重叠区域；S3、可满足性模型变量约束规则，区域A[B_l,B_r]，对于任意的i(1≤i≤m)，已知E′_i＝R_i∩A[B_l,B_r]，E′_i+1＝R_i+1∩A[B_l,B_r]，如果对于任意的e(e∈E′_i)，都存在对应的e′(e′∈E′_i+1)使得col(e)＝col(e′)；对于任意的e′(e′∈E′_i+1)，也存在对应e(e∈E′_i)使得col(e′)＝col(e)，那么称E′_i和E′_i+1是等价的，那么如果E′_i和E′_i+1是等价的，那么E′_i+1中的处理单元就不需要使用新的布尔变量来表示，可以使用E_i中的布尔变量来表示，其对应如下对于任意的布尔变量u(u∈E_i)，v(v∈E_i+1)，如果col(u)＝col(v)，那么u和v表示同一个布尔变量，并将其称为变量约束规则；S4、目标阵列可满足性模型生成算法，物理阵列的大小为m×n，记为H，Generate_CNF算法能够根据物理阵列H得出该目标阵列的可满足性的合取范式F，通过GCR算法和GCR′算法确定物理阵列H中每条逻辑列的边界；S5、基于目标阵列可满足性模型的高性能目标阵列完备算法，物理阵列的大小为m×n，合取范式是Generate_CNF算法根据变量约束和阵列重构的可满足性约束生成的，那么合取范式就可以用于描述为目标阵列的可满足性模型；S6、基于目标阵列可满足性模型的高性能目标阵列非完备算法，大小为m×n的物理阵列H，系统对重构的目标阵列的长链接总数的期望值为l，T₁和T₂是分别表示由GCR算法和GCR算法重构的目标阵列，函数CNF(T₁,T₂)表示目标阵列的可满足性模型的合取公式的产生函数，其返回值为可满足性模型由Generate_CNF算法产生。