[发明专利]一种基于测试向量相容的测试向量编码压缩方法

权利要求书

1.一种基于向量相容的测试向量编码压缩方法，其特征在于包括测试向量的压缩和编码后的解压缩两部分，

测试向量的压缩包括如下步骤：

1)确定测试向量的编码；

2)由被测电路得到第一测试向量集R，选取第一测试向量集R中任一个第一向量t₁，将第一向量t₁从第一测试向量集R中移出，放入测试向量组S中，测试向量组S内的向量个数m为1，设第二测试向量集H，第二测试向量集H与第一测试向量集R相同；

3)从第二测试向量集H中找出与第一向量t₁相容性最大的第二向量t₂，并将第二向量t₂从第二测试向量集H中移出；

4)若n₂大于n_max，并且第二测试集H不是空集，则返回步骤3)，若第二测试集H为空集，则到步骤7)完成分组，若n₂小于n_max，则到步骤5)，其中，n_max为测试向量之间不相容位的最大个数，n_max的值自定义，n₂为第一向量t₁与第二向量t₂不相容位的个数；

5)将第二向量t₂移入测试向量组S中，向量个数m的值增加1，求出第一向量t₁与第二向量t₂相容后的第四向量t₄；

6)对测试向量组S编码，计算第一测试向量组S的压缩率λ和第二向量t₂的压缩率λ_comp，判断第二向量t₂是否要从测试向量组S移出，若第二测试向量集H为空集，则到步骤7)，若第二测试向量集H不为空集，则到步骤3)；

7)完成对测试向量组S的分组，对测试向量组S编码，得到表示测试向量组S内向量个数m的编码M、表示不相容位个数n的编码N以及表示不相容位上值信息的编码Q，由第一向量t₁得到第六向量t₆，第六向量t₆的编码为T6_code，从第一测试向量集R中移出测试向量组S内的向量；

8)若第一测试向量集R为空集，则分组结束，若第一测试向量集R不为空集，则回到步骤2)开始下一测试向量组；

编码后的解压缩包括如下步骤：

9)将表示测试向量组S内向量个数m的编码M、不相容位个数n的编码N和不相容位上值的信息的Q输入到被测电路保存，然后输入第六向量t₆的编码T6_code到被测电路；

10)对第六向量t₆的编码T6_code进行解码，当遇到码字“00”时，将“00”之前的码字解码后的最后一位用步骤9)保存过的不相容位上的值替换，还原 一个被压缩的向量，编码M的值减1；

11)若编码M的值不为0，则回到步骤10)继续对T6_code解码，若编码M的值为0，则对测试向量组S解码完成；

所述步骤1)包括：

a)码字由前缀和后缀组成，将码字分组，设编码组为A_k，其中k为组号，码字的前缀和后缀的位数均为k；

b)码字前缀最后一位为“0”，其余位为“1”，第k组有2^k个码字后缀，每个码字后缀由“0”、“1”组合组成；

c)第一编码组A₁只有一个码字“01”用于游程“0”的编码，码字“00”用于标记不相容位的位置；

d)对于长度为l的“0”的游程，落在哪一个编码组是由如下公式决定的：

e)测试集中“0”的游程最长的值加1的编码的前缀作为测试向量组与测试向量组的分割码Sep_code；

所述步骤6)包括：

j)由第四向量t₄得到第五向量t₅，t₄(h)和t₅(h)分别为第四向量t₄和第五向量t₅第h个位置的元素；

k)对第五向量t₅进行编码，在编码解码后包含第四向量t₄中“c”的位置的码字之前插入标记码“00”，得到第五向量t₅的编码T5_code，编码长度为lcode；

1)测试向量组S中向量个数m和不相容位个数n₁由M和N位二进制信息表示，测试向量组S中不相容位上的值由Q位二进制表示，其中n₁的值为第四向量t₄内值“c”出现的次数，也即第一向量t₁与第二向量t₂不相容位的个数，

Q＝m×n₁；

m)计算测试向量组S的压缩率λ和第二向量t₂的压缩率λ_comp，将第二向量t₂中的值“x”变为“0”后进行编码，编码后的长度为l₂，L为向量的长度；

n)若测试向量组S的压缩率λ小于第二向量t₂的压缩率λ_comp，则将第二向量t₂从测试向量组S中移出，m减1，若λ大于λ_comp，则第二向量t₂留在测试向量组S中，第一向量t₁取第四向量t₄的值；

o)若第二测试向量集H为空集，则到步骤7)，若第二测试向量集H不为空集，则到步骤3)；

所述步骤7)包括：

p)由第一向量t₁得到第六向量t₆，t₁(d)和t₆(d)分别为第一向量t₁和第六向量t₆第d个位置的元素，

q)对第六向量t₆进行编码，在编码解码后包含第一向量t₁中“c”的位置的码字之前插入标记码“00”，得到t₆的编码T6_code；

r)测试向量组S中向量个数m和不相容位个数n由M和N位二进制信息表示，测试向量组S中不相容位上的值由Q位二进制表示，其中n的值为第一向量t₁内值“c”出现的次数即不相容位个数；

Q＝m×n

s)在T6_code之前插入(M+N+Q)位的组头信息，并在T6_code的末尾插入组分割码Sep_code，完成对测试向量组S的编码。