公开(公告)号：CN119397994B

公开(公告)日：2025-04-11

申请号：CN202411987000.5

申请日：2024-12-31

Applicant: 北京开源芯片研究院

Inventor： 张阳午 ,  杨华 ,  唐丹 ,  包云岗

IPC: G06F30/398 ,  G06F30/31 ,  G06F115/02

Abstract: 本申请提供了一种片上网络的验证方法、装置、电子设备及可读存储介质，包括：响应于输入命令，提取输入命令中携带的第一标签，根据第一标签，从激励组件集合中找到与第一标签匹配的目标第二标签，并获取携带目标第二标签的目标激励组件，激励组件集合包括多个激励组件，每个激励组件携带有第二标签，第二标签用于描述激励组件对应的片上网络片区，在验证平台对片上网络的设计文件进行验证的过程中，编译并运行目标激励组件，获得片上网络片区的验证结果，完成对片上网络片区的验证，可以减少区分激励组件耗费的时间，降低获取目标激励组件的时间，从而提高片上网络片区验证的效率。

公开(公告)号：CN119377030B

公开(公告)日：2025-03-25

申请号：CN202411986978.X

申请日：2024-12-31

Applicant: 北京开源芯片研究院

Inventor： 张阳午 ,  杨华 ,  唐丹 ,  包云岗

IPC: G06F11/263 ,  G06F11/22

Abstract: 本申请提供了一种片上系统验证方法、装置、电子设备及计算机可读存储介质，通过获取多个随机激励组件，以及与每个随机激励组件关联的标签，根据记录的标签获得基础激励组件和随机种子序列，并利用基础激励组件和随机种子序列进行验证失败信号的复现。本申请通过对多个随机激励组件关联标签，使用标签记录随机激励组件所使用的随机种子，根据记录的标签获得基础激励组件和随机种子序列通过对随机激励组件关联的标签的读取，获得组成随机激励组件中具体的随机种子，使得在复现过程中可以根据标签生成首次出现失败信号时相同的随机激励组件，并利用基础激励组件和随机种子序列进行验证失败信号的复现，使得复现失败信号较为容易，提升验证效率。

公开(公告)号：CN119397994A

公开(公告)日：2025-02-07

申请号：CN202411987000.5

申请日：2024-12-31

Applicant: 北京开源芯片研究院

Inventor： 张阳午 ,  杨华 ,  唐丹 ,  包云岗

IPC: G06F30/398 ,  G06F30/31 ,  G06F115/02

Abstract: 本申请提供了一种片上网络的验证方法、装置、电子设备及可读存储介质，包括：响应于输入命令，提取输入命令中携带的第一标签，根据第一标签，从激励组件集合中找到与第一标签匹配的目标第二标签，并获取携带目标第二标签的目标激励组件，激励组件集合包括多个激励组件，每个激励组件携带有第二标签，第二标签用于描述激励组件对应的片上网络片区，在验证平台对片上网络的设计文件进行验证的过程中，编译并运行目标激励组件，获得片上网络片区的验证结果，完成对片上网络片区的验证，可以减少区分激励组件耗费的时间，降低获取目标激励组件的时间，从而提高片上网络片区验证的效率。

公开(公告)号：CN119378461A

公开(公告)日：2025-01-28

申请号：CN202411986867.9

申请日：2024-12-31

Applicant: 北京开源芯片研究院

Inventor： 杨华 ,  陈博华 ,  梁爽 ,  金彦晨 ,  周恒源 ,  郭志文 ,  张阳午 ,  唐丹 ,  包云岗

IPC: G06F30/33 ,  G06F15/78

Abstract: 本发明实施例提供了一种片上网络的设计方法、装置、电子设备及可读存储介质，基于目标设计需求，构建目标行为模型；基于目标行为模型以及预设代码库，生成目标代码；在目标代码不满足预设约束目标的情况下，对目标行为模型进行优化并基于优化后的目标行为模型更新目标代码，直至目标代码满足预设约束目标；基于满足预设约束目标的目标代码，生成片上网络代码文件。通过对设计流程中的目标代码进行约束验证以及优化调整目标行为模型的方式，缩小了设计流程中代码优化调整的范围，减少了代码修改代价，在确保片上网络的目标设计需求以及预设约束目标均被验证满足预期的前提下，提高了片上网络的代码生成效率。

公开(公告)号：CN119377030A

公开(公告)日：2025-01-28

申请号：CN202411986978.X

申请日：2024-12-31

Applicant: 北京开源芯片研究院

Inventor： 张阳午 ,  杨华 ,  唐丹 ,  包云岗

IPC: G06F11/263 ,  G06F11/22

Abstract: 本申请提供了一种片上系统验证方法、装置、电子设备及计算机可读存储介质，通过获取多个随机激励组件，以及与每个随机激励组件关联的标签，根据记录的标签获得基础激励组件和随机种子序列，并利用基础激励组件和随机种子序列进行验证失败信号的复现。本申请通过对多个随机激励组件关联标签，使用标签记录随机激励组件所使用的随机种子，根据记录的标签获得基础激励组件和随机种子序列通过对随机激励组件关联的标签的读取，获得组成随机激励组件中具体的随机种子，使得在复现过程中可以根据标签生成首次出现失败信号时相同的随机激励组件，并利用基础激励组件和随机种子序列进行验证失败信号的复现，使得复现失败信号较为容易，提升验证效率。