[发明专利]快速查找无理数的测试数据压缩方法

摘要

本发明公开了一种快速查找无理数的测试数据压缩方法，包括以下步骤：生成确定的完全测试集T，记其测试向量个数为N；将所有测试向量级联，记为S，其长度记为w；统计游程长度，直到无关位结束，并将游程长度信息转化为小数x来表示；查找无理数使展开成小数时，其前p项正好等于x，压缩时只用存储整数m, n, l, k和p。本发明的优点在于：该发明中对无关位的填充采用的先查找无理数，后逐位对比的方法，增加了无关位的可选择性，增加了无理数的查找的概率；该方明对无理数的查找，采用的是将区间二分的方法，能按对数规律降低运行时间。

主权项

1.一种快速查找无理数的测试数据压缩方法，其特征在于：包括以下步骤：a、采用自动测试模式生成工具ATPG，生成确定的完全测试集T，记其测试向量个数为N；b、选取从第一位开始的连续前若干位为确定位个数最多的某一测试向量，随机将其它所有测试向量级联，即将一个向量的尾部接另一个向量的首部，记为S，其长度记为w；c、从前往后按0类型游程统计游程长度，直到无关位结束，若无关位与前一游程可以组成同一游程，舍弃最后一游程长度，只记前若干游程长度，否则记前所有游程长度，并将游程长度信息转化为小数来表示，转化原则为：将第一个游程长度定义为小数的个位，其它全部作为小数的小数部分，记小数为x；d、查找无理数，m，n，l，k全部是整数，实际上就是找适当的整数m, n, l, k，使展开成小数时，其前p项正好等于x，p为小数x的所有位数，压缩时只用存储整数m, n, l, k和p，先令k=2，查找形如的无理数，取小数x的整数部分和小数部分前t位，构成新的小数，记为y，计算y^k 并仅保留其整数部分，记为a，即；计算（y+(0.1)^t）^k的值，向上取整数，记为b，即,则有:e、二分无理数区间，逐次逼近x，取，计算并与x比较，将对应的小数按0类型游程展开成序列，判断该序列前w位能否与S在所有确定位一一对应，如果能一一对应，转至步骤f；否则，若，则令a=c，重复步骤e；若，则令b=c，重复步骤e，直至展开序列前w位与序列S在所有确定位一一对应，转至步骤f；f、无关位填充，在步骤d中已经找到与x对应的无理数，将无理数展开成小数并按0类型的游程转换成序列，将该序列与序列S一一对应从头到尾，将所有无关位全部填充；g、取k=3，4，……，10000，重复步骤d、步骤e、步骤f，共得到9999个无理数，比较这9999个无理数的编码结果，取代码字长度最短的一个无理数，压缩时存储该无理数中的整数m, n, l, k和p。