公开(公告)号：CN119397969A

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

申请号：CN202411997230.X

申请日：2024-12-31

Applicant: 北京开源芯片研究院

Inventor： 梁爽 ,  杨华 ,  唐丹 ,  包云岗

IPC: G06F30/33 ,  G06F30/323

Abstract: 本发明实施例提供了一种总线验证方法、装置、电子设备及可读存储介质。该方法包括：通过获取待验证总线的待验证子文件；对所述待验证子文件包含的字符进行解析，以将所述待验证子文件转换为目标验证工具可识别的可识别文件；将所述可识别文件输入至所述目标验证工具中，以获取所述待验证总线的验证结果。这样，通过将待验证总线的待验证子文件解析为目标验证工具可识别的可识别文件，可以通过目标验证工具对待验证总线进行验证，从而通过自动化的解析建模和验证，可以实现自动化的总线验证流程，减少人工干预，提高验证效率。

公开(公告)号：CN119396349A

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

申请号：CN202411996848.4

申请日：2024-12-31

Applicant: 北京开源芯片研究院

Inventor： 金彦晨 ,  周恒源 ,  梁爽 ,  杨华 ,  唐丹 ,  包云岗

IPC: G06F3/06 ,  G06F11/26

Abstract: 本发明实施例提供了一种缓存验证方法、装置、电子设备及可读存储介质。该方法包括：通过构建第一子程序；第一子程序用于生成数据访存请求；基于待验证缓存的功能行为信息，构建第二子程序；第二子程序用于接收数据访存请求，并基于功能行为信息响应数据访存请求；基于第二子程序的响应结果生成待验证缓存的验证结果。这样，本发明实施例通过基于待验证缓存的功能行为信息构建第二子程序，可以实现对待验证缓存的硬件建模，同时，通过构建用于生成数据访存请求的第一子程序，并根据第二子程序的响应结果，得到验证结果，可以根据不同的数据访存请求实现对测试的约束，满足不同的缓存验证需求，提高缓存验证的效果。

公开(公告)号：CN119397969B

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

申请号：CN202411997230.X

申请日：2024-12-31

Applicant: 北京开源芯片研究院

Inventor： 梁爽 ,  杨华 ,  唐丹 ,  包云岗

IPC: G06F30/33 ,  G06F30/323

Abstract: 本发明实施例提供了一种总线验证方法、装置、电子设备及可读存储介质。该方法包括：通过获取待验证总线的待验证子文件；对所述待验证子文件包含的字符进行解析，以将所述待验证子文件转换为目标验证工具可识别的可识别文件；将所述可识别文件输入至所述目标验证工具中，以获取所述待验证总线的验证结果。这样，通过将待验证总线的待验证子文件解析为目标验证工具可识别的可识别文件，可以通过目标验证工具对待验证总线进行验证，从而通过自动化的解析建模和验证，可以实现自动化的总线验证流程，减少人工干预，提高验证效率。

公开(公告)号：CN119396539B

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

申请号：CN202411986886.1

申请日：2024-12-31

Applicant: 北京开源芯片研究院

Inventor： 梁爽 ,  杨华 ,  唐丹 ,  包云岗

IPC: G06F9/46 ,  G06F15/78

Abstract: 本发明实施例提供一种协议处理方法、装置、电子设备及可读存储介质，涉及计算机技术领域。该方法中，获取目标片上系统的需求表征文件。将原始协议支持的事务作为待选事务，并根据需求表征文件，从待选事务中选择与需求表征文件相匹配的事务，作为目标事务。获取各目标事务的第一描述文件。基于第一描述文件为目标片上系统生成目标协议文件；其中，目标协议文件用于描述经过裁剪后的原始协议。这样，实现了为目标片上系统生成协议文件。同时，通过按照目标片上系统的需求表征文件选择的目标事务生成目标协议文件，使得最终得到的目标协议文件可以更适配目标片上系统的需求。

公开(公告)号：CN119396539A

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

申请号：CN202411986886.1

申请日：2024-12-31

Applicant: 北京开源芯片研究院

Inventor： 梁爽 ,  杨华 ,  唐丹 ,  包云岗

IPC: G06F9/46 ,  G06F15/78

Abstract: 本发明实施例提供一种协议处理方法、装置、电子设备及可读存储介质，涉及计算机技术领域。该方法中，获取目标片上系统的需求表征文件。将原始协议支持的事务作为待选事务，并根据需求表征文件，从待选事务中选择与需求表征文件相匹配的事务，作为目标事务。获取各目标事务的第一描述文件。基于第一描述文件为目标片上系统生成目标协议文件；其中，目标协议文件用于描述经过裁剪后的原始协议。这样，实现了为目标片上系统生成协议文件。同时，通过按照目标片上系统的需求表征文件选择的目标事务生成目标协议文件，使得最终得到的目标协议文件可以更适配目标片上系统的需求。

公开(公告)号：CN119378461A

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

申请号：CN202411986867.9

申请日：2024-12-31

Applicant: 北京开源芯片研究院

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

IPC: G06F30/33 ,  G06F15/78

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