公开(公告)号：CN118626324A

公开(公告)日：2024-09-10

申请号：CN202310231652.5

申请日：2023-03-10

申请人： 昆仑芯(北京)科技有限公司

发明人： 谢宇霆

IPC分类号： G06F11/26 ,  G06F11/22

摘要： 本公开提供了一种指令验证方法、装置、设备、存储介质以及程序产品，涉及计算机技术领域，尤其涉及芯片技术领域。具体实现方案为：根据多个指令序列中每个指令序列包括的指令数量，拼接多个指令序列，得到待验证指令流；响应于接收到的验证请求，从待验证指令流中确定待验证指令序列；以及根据待验证指令序列的历史执行次数，验证待验证指令序列。

公开(公告)号：CN117130846A

公开(公告)日：2023-11-28

申请号：CN202311083746.9

申请日：2023-08-25

申请人： 昆仑芯(北京)科技有限公司

发明人： 谢宇霆 ,  王耀辉 ,  郭文平

IPC分类号： G06F11/263 ,  G06F11/22 ,  G06T1/20

摘要： 本公开提供了一种芯片验证方法，涉及人工智能技术领域，尤其涉及芯片技术领域和封装检测技术领域。具体实现方案为：根据多个待执行指令各自的模拟标识信息，利用待验证芯片执行多个待执行指令，得到多个写入验证数据，其中，写入验证数据包括模拟标识信息，多个待执行指令各自的模拟标识信息是根据与多个待执行指令对应的多个写入模拟数据确定的；根据与多个写入验证数据中模拟标识信息对应的多个写入模拟数据，确定多个写入验证数据的验证结果。本公开还提供了一种芯片验证装置、电子设备和存储介质。

公开(公告)号：CN118860497A

公开(公告)日：2024-10-29

申请号：CN202410979513.5

申请日：2024-07-19

申请人： 昆仑芯(北京)科技有限公司

发明人： 谢宇霆 ,  郭文平 ,  钱乐 ,  钱俊杰 ,  李治贤 ,  孙永帅

IPC分类号： G06F9/30 ,  G06F12/02 ,  G06F9/38 ,  G06F11/26

摘要： 本公开提供了一种访存指令生成方法、装置及芯片验证方法，涉及人工智能及计算机技术领域，尤其涉及芯片技术领域。实现方案为：确定待执行的多个线程束的数量；基于多个线程束的数量对存储地址空间进行划分，以使每个线程束被分配存储地址空间中的一部分，且每个线程束对应的一部分存储地址空间彼此不重叠；基于对每个线程束的分配，确定用于每个线程束的起始地址，其中，起始地址包括第一预设偏移量；基于起始地址，确定每个线程束内的多个线程各自对应的访存地址，其中，访存地址包括第二预设偏移量；以及基于访存地址，生成访存指令。

公开(公告)号：CN115544984A

公开(公告)日：2022-12-30

申请号：CN202211171117.7

申请日：2022-09-23

申请人： 昆仑芯(北京)科技有限公司

发明人： 谢宇霆 ,  黄子腾

IPC分类号： G06F40/177 ,  G06F40/151 ,  G06F30/33

摘要： 本公开提供了集成电路验证环境中覆盖组生成方法、装置、设备及介质，涉及计算机技术领域，尤其涉及芯片测试领域。具体实现方案为：对与待测集成电路验证环境匹配的指令集文件进行解析，获取指令集文件中每条指令的指令描述信息；其中，指令集文件中包括所述每条指令中每个数据位的定义，指令描述信息包括指令类型、指令中静态数据、指令中至少一个动态数据和指令功能描述信息中的至少一项；根据每条指令的指令描述信息，生成与每条指令分别匹配的单指令覆盖组。通过本公开的技术方案可以自动生成集成电路验证环境中的覆盖组，提高了覆盖组的准确性及生成效率。