买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：中科鉴芯(北京)科技有限责任公司

摘要：本申请公开了一种基于布尔可满足性的电路自动测试向量的压缩方法和装置。其中，该方法包括：获取目标芯片的原始测试向量集和测试故障集，原始测试向量集包括多条测试向量；利用原始测试向量集的第一测试向量子集，对测试故障集中的所有测试故障进行故障仿真，确定测试故障集的已测故障子集；利用原始测试向量集的第二测试向量子集和测试故障集的未测故障子集，建立局部故障字典，局部故障字典用于记录第二测试向量子集中测试向量与未测故障子集中测试故障之间的关联；调用PureMaxSAT问题求解器对局部故障字典进行求解，从而得到精简测试向量。本申请解决了相关技术中向量压缩比较耗时的技术问题。

主权项：1.一种基于布尔可满足性的电路自动测试向量的压缩方法，其特征在于，包括：获取目标芯片的原始测试向量集和测试故障集，其中，所述原始测试向量集包括多条测试向量，所述测试故障集包括多个测试故障；利用所述原始测试向量集的第一测试向量子集，对所述测试故障集中的所有测试故障进行故障仿真，确定所述测试故障集的已测故障子集，其中，所述原始测试向量集包括所述第一测试向量子集和第二测试向量子集，所述测试故障集包括所述已测故障子集和未测故障子集，所述已测故障子集用于保存被测出的测试故障，所述未测故障子集用于保存未被测出的测试故障；利用所述第二测试向量子集和所述未测故障子集，建立局部故障字典，包括：利用所述第二测试向量子集中的测试向量对所述未测故障子集中的测试故障进行故障仿真，得到每条测试向量与所述未测故障子集中所有测试故障之间的关系；利用每条测试向量与所述未测故障子集中所有测试故障之间的关系建立所述局部故障字典，其中，所述局部故障字典的每一行对应一个测试向量或测试故障，每一列对应一个测试故障或测试向量，任意一行与一列交叉的元素用于表示对应测试向量与对应测试故障之间的关系，在该元素的取值为1时表示测试向量能检测到测试故障，在该元素的取值为0时表示测试向量不能检测到测试故障，其中，所述局部故障字典用于记录所述第二测试向量子集中测试向量与所述未测故障子集中测试故障之间的关联；调用PureMaxSAT问题求解器对所述局部故障字典进行求解，从而得到精简测试向量。

全文数据：

权利要求：

百度查询： 中科鉴芯(北京)科技有限责任公司 基于布尔可满足性的电路自动测试向量的压缩方法和装置