公开(公告)号：CN119621379B

公开(公告)日：2025-05-09

申请号：CN202510155793.2

申请日：2025-02-12

Applicant: 北京开源芯片研究院

Inventor： 谢云龙 ,  唐丹 ,  包云岗

IPC: G06F9/54 ,  G06F9/50 ,  G06F30/3308

Abstract: 本发明实施例提供了一种硬件验证方法、装置、电子设备及存储介质，涉及硬件验证技术领域。方法包括：将待验证的硬件模块，编译为第一动态库；在进程的堆内空间中，将第一动态库创建为多个隔离的对象；启动待验证的硬件模块对应的验证程序；在进程中创建多个线程；为验证用例匹配线程和对象，并运行线程，以进行硬件验证。本发明中，在进程的堆内空间中一个硬件模块被实例化多份对象，一方面，实现了同一个硬件模块可以同时被不同的线程访问，就是采用一个进程中的多个线程实现了并行硬件验证，硬件验证的效率更高，且计算资源的利用率更高，避免了计算资源浪费；另一方面，可以灵活组合验证用例，提升了硬件验证的灵活性。

公开(公告)号：CN119862829A

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

申请号：CN202510352820.5

申请日：2025-03-24

Applicant: 北京开源芯片研究院

Inventor： 宋方圆 ,  谢云龙 ,  唐丹 ,  包云岗

IPC: G06F30/33 ,  G06F30/337

Abstract: 本申请提供了一种芯片验证平台的调用方法、装置、电子设备及计算机可读存储介质，通过在编译并运行软件语言调用程序，在预设的兼容链接库中具有各种软件语言封装的软件方法接口，为软件语言调用程序中待执行的调用函数确定匹配的软件方法接口，再通过与调用函数确定匹配的软件方法接口，调用对应的验证链接文件进行执行，并将执行结果作为调用函数的返回值进行输出，通过软件语言调用程序，实现了芯片验证平台功能函数方法封装后的验证链接文件执行结果的获取，由通过硬件描述语言调用转变为软件语言调用程序进行调用，减少了学习复杂度高的硬件描述语言的学习成本，降低了芯片验证学习的难度。

公开(公告)号：CN119621379A

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

申请号：CN202510155793.2

申请日：2025-02-12

Applicant: 北京开源芯片研究院

Inventor： 谢云龙 ,  唐丹 ,  包云岗

IPC: G06F9/54 ,  G06F9/50 ,  G06F30/3308

Abstract: 本发明实施例提供了一种硬件验证方法、装置、电子设备及存储介质，涉及硬件验证技术领域。方法包括：将待验证的硬件模块，编译为第一动态库；在进程的堆内空间中，将第一动态库创建为多个隔离的对象；启动待验证的硬件模块对应的验证程序；在进程中创建多个线程；为验证用例匹配线程和对象，并运行线程，以进行硬件验证。本发明中，在进程的堆内空间中一个硬件模块被实例化多份对象，一方面，实现了同一个硬件模块可以同时被不同的线程访问，就是采用一个进程中的多个线程实现了并行硬件验证，硬件验证的效率更高，且计算资源的利用率更高，避免了计算资源浪费；另一方面，可以灵活组合验证用例，提升了硬件验证的灵活性。

公开(公告)号：CN118245309A

公开(公告)日：2024-06-25

申请号：CN202410658336.0

申请日：2024-05-24

Applicant: 北京开源芯片研究院

Inventor： 谢云龙 ,  朱金彬 ,  唐丹 ,  包云岗

IPC: G06F11/22

Abstract: 本申请提供了一种芯片验证的多语言兼容方法、装置、电子设备及计算机可读存储介质，包括：获取芯片验证文件；解析芯片验证文件，获得芯片的待测引脚信息；根据待测引脚信息，生成第一计算机语言的验证代码；对验证代码进行编译，获得可执行文件，并将可执行文件转换为可供调用使用的库文件；在库文件中实现多语言兼容接口，获得目标库文件。本申请生成第一计算机语言的验证代码，破除了芯片验证的壁垒，降低了芯片验证的理解和学习成本，提高了芯片验证的适用性，另外，将验证代码编译后转换为库文件，并为库文件实现了用于对接不同编程语言平台的多语言兼容接口，实现了芯片验证的跨语言互通，为芯片验证领域的多样性和创新性提供了便利。

公开(公告)号：CN119720890A

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

申请号：CN202510237740.5

申请日：2025-02-28

Applicant: 北京开源芯片研究院

Inventor： 谢云龙 ,  唐丹 ,  包云岗

IPC: G06F30/3308 ,  G06F9/448 ,  G06F11/3668

Abstract: 本发明实施例提供了一种硬件验证方法、装置、电子设备及存储介质，涉及硬件验证技术领域。方法包括：将时间片划分为软件测试工具的执行时间片和硬件仿真器的执行时间片；在软件测试工具的执行时间片中，在软件测试工具中当前时刻可执行的各个事件均执行完毕后，通过硬件仿真器的数据接口向硬件仿真器中写入仿真输入数据；将时间片转换为硬件仿真器的执行时间片，并在软件环境中，调用硬件仿真器的控制接口，控制硬件仿真器运行，以进行硬件验证；将时间片转换为软件测试工具的执行时间片，通过硬件仿真器的数据接口，获取硬件验证的结果。本发明通过数据接口同步软件与硬件的事件管理器数据，支持使用软件测试工具在软件环境中进行硬件验证。

公开(公告)号：CN118245309B

公开(公告)日：2024-07-26

申请号：CN202410658336.0

申请日：2024-05-24

Applicant: 北京开源芯片研究院

Inventor： 谢云龙 ,  朱金彬 ,  唐丹 ,  包云岗

IPC: G06F11/22

Abstract: 本申请提供了一种芯片验证的多语言兼容方法、装置、电子设备及计算机可读存储介质，包括：获取芯片验证文件；解析芯片验证文件，获得芯片的待测引脚信息；根据待测引脚信息，生成第一计算机语言的验证代码；对验证代码进行编译，获得可执行文件，并将可执行文件转换为可供调用使用的库文件；在库文件中实现多语言兼容接口，获得目标库文件。本申请生成第一计算机语言的验证代码，破除了芯片验证的壁垒，降低了芯片验证的理解和学习成本，提高了芯片验证的适用性，另外，将验证代码编译后转换为库文件，并为库文件实现了用于对接不同编程语言平台的多语言兼容接口，实现了芯片验证的跨语言互通，为芯片验证领域的多样性和创新性提供了便利。