一种用于ATE测试的处理方法
摘要文本
本申请涉及电数字数据处理技术领域，特别是涉及一种用于ATE测试的处理方法。该方法包括：获取SVF文件；确定开始目标段；从所述开始目标段开始，按照从上向下的顺序判断所述SVF文件包括的SVF语句段是否满足预设的第二条件，若待判断的SVF语句段满足预设的第二条件且存在对应的关联SVF语句段，则将待判断的SVF语句段与对应的关联SVF语句段转换为一条对应的操作追加至预设的操作列表文件；获取经修改的操作列表文件，所述经修改的操作列表文件是对操作列表文件进行了增添操作处理、删除操作处理或/和修改操作处理得到的；将所述经修改的操作列表文件转换为SVF新文件。本发明提高了ATE测试的效率。
申请人信息
- 申请人:沐曦科技(北京)有限公司
- 申请人地址:100094 北京市海淀区丰豪东路9号院2号楼9层3单元901
- 发明人: 沐曦科技(北京)有限公司
专利详细信息
| 项目 | 内容 |
|---|---|
| 专利名称 | 一种用于ATE测试的处理方法 |
| 专利类型 | 发明申请 |
| 申请号 | CN202311617664.8 |
| 申请日 | 2023/11/30 |
| 公告号 | CN117573625A |
| 公开日 | 2024/2/20 |
| IPC主分类号 | G06F16/16 |
| 权利人 | 沐曦科技(北京)有限公司 |
| 发明人 | 吴山林 |
| 地址 | 北京市海淀区丰豪东路9号院2号楼9层3单元901 |
专利主权项内容
1.一种用于ATE测试的处理方法，其特征在于，所述处理方法包括以下步骤：S100，获取SVF文件，所述SVF文件包括若干SVF语句段，每一SVF语句段包括若干条SVF语句；S200，从SVF文件的第一个SVF语句段开始，按照从上向下的顺序判断所述SVF文件包括的SVF语句段是否满足预设的第一条件，并将第一个满足所述预设的第一条件的SVF语句段确定为开始目标段；所述第一条件包括：SVF语句段的注释行中存在写命令、SVF语句段的链长为预设的链长且SVF语句段的向量中的第一预设位置的元素为预设的元素；S300，从所述开始目标段开始，按照从上向下的顺序判断所述SVF文件包括的SVF语句段是否满足预设的第二条件，若待判断的SVF语句段满足预设的第二条件且存在对应的关联SVF语句段，则将待判断的SVF语句段与对应的关联SVF语句段转换为一条对应的操作追加至预设的操作列表文件；如果待判断的SVF语句段不满足预设的第二条件且不为任一满足预设的第二条件的SVF语句段对应的关联SVF语句段，则将待判断的SVF语句段追加至预设的操作列表文件；所述操作列表文件的初始化为空文件；所述预设的第二条件包括：SVF语句段的注释行中的地址存在于预设的地址列表中；S400，输出所述操作列表文件；S500，获取经修改的操作列表文件，所述经修改的操作列表文件是对操作列表文件进行了增添操作处理、删除操作处理或/和修改操作处理得到的；S600，将所述经修改的操作列表文件转换为SVF新文件。。微信公众号马克 数据网