公开(公告)号：CN119883215A

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

申请号：CN202510352862.9

申请日：2025-03-24

Applicant: 北京开源芯片研究院

Inventor： 刘锦程 ,  唐丹 ,  包云岗

IPC: G06F8/20 ,  G06F8/30 ,  G06F11/3668

Abstract: 本发明实施例提供一种程序控制方法、装置、电子设备及存储介质，该方法应用于控制系统，控制系统包括控制端和程序调度器，该方法包括：控制端读取待测设计的时钟信号，在时钟信号到达一个时钟周期边沿的情况下，暂停待测设计的运行，并向程序调度器发送控制信号；程序调度器在接收到控制端发送的控制信号的情况下，按照测试程序中各个子程序的执行顺序依次调度子程序；在测试程序中各个子程序均运行至预设位置的情况下，向控制端发送唤醒信号；控制端在接收到唤醒信号的情况下，驱动待测设计继续运行至下一个时钟周期边沿。在本发明实施例中，可以通过软件编程语言控制硬件时钟以及完成并行操作，提高了程序控制效率。

公开(公告)号：CN119067022A

公开(公告)日：2024-12-03

申请号：CN202410994512.8

申请日：2024-07-23

Applicant: 北京开源芯片研究院

Inventor： 刘锦程 ,  朱金彬 ,  唐丹 ,  包云岗

IPC: G06F30/33 ,  G06F30/337

Abstract: 本申请提供了一种芯片验证任务处理方法、装置、电子设备及可读存储介质，涉及计算机技术领域，方法包括：响应于芯片验证请求，分别获取至少一个芯片验证任务中，每个芯片验证任务的任务信息，以及至少一个处理对象中，每个处理对象的对象参数；根据任务信息，获取芯片验证任务的任务复杂程度值；根据对象参数，获取处理对象的对象评价值；根据任务复杂程度值和对象评价值，将芯片验证任务分配至处理对象进行芯片验证；芯片验证任务的复杂程度值，与分配至芯片验证任务的处理对象的对象评价值正相关。本申请的方法，可以快速将芯片验证任务分配至视频的处理对象进行验证。

公开(公告)号：CN119862827A

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

申请号：CN202510350609.X

申请日：2025-03-24

Applicant: 北京开源芯片研究院

Inventor： 刘锦程 ,  唐丹 ,  包云岗

IPC: G06F30/33 ,  G06F30/337

Abstract: 本发明实施例提供了一种硬件验证方法、装置、电子设备及可读存储介质。该方法包括：通过基于待验证硬件的待验证引脚，生成第一异步函数以及第二异步函数；第一异步函数用于读写待验证引脚，第二异步函数用于获取待验证引脚的输出信号并输出；通过第一异步函数以及第二异步函数，构建模型代码；通过模型代码对待验证引脚进行验证。这样，本发明实施例通过为待验证引脚生成两类异步函数，可以将引脚的硬件操作建模为了软件中的简洁异步函数接口，使得软件编程人员能够更容易开始硬件验证过程，并能够更好地与软件测试技术将结合。可以将针对硬件行为的验证建模为软件验证，无需采用硬件描述和验证语言，通过软件中的异步函数提高硬件验证的效率。

公开(公告)号：CN119782071A

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

申请号：CN202510246067.1

申请日：2025-03-03

Applicant: 北京开源芯片研究院

Inventor： 刘锦程 ,  唐丹 ,  包云岗

IPC: G06F11/22

Abstract: 本申请提供了一种硬件验证方法、装置、电子设备、存储介质及产品，包括：获取用于测试待测电路设计文件的验证环境平台，验证环境平台中封装有多个交互函数；获取包括所有调用语句的参考模型；调用语句用于通过钩子函数调用关联的交互函数，调用语句是验证环境平台根据预设的验证规范定义以及交互函数与钩子函数之间的关联关系生成的；响应于输入的调用事件，执行与调用事件匹配的目标调用语句，以通过目标调用语句中的目标钩子函数调用目标交互函数进行执行，获得第一验证结果；获取验证环境平台仿真运行待测电路设计文件所得到的第二验证结果，并比对第一验证结果与第二验证结果，得到验证结果。本申请采用钩子函数捕获验证代码与DUT的交互。

公开(公告)号：CN119862830A

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

申请号：CN202510352826.2

申请日：2025-03-24

Applicant: 北京开源芯片研究院

Inventor： 刘锦程 ,  唐丹 ,  包云岗

IPC: G06F30/33 ,  G06F30/337

Abstract: 本发明实施例提供一种信号控制方法、装置、电子设备及存储介质，该方法包括：根据待测设计中各个接口的配置方式，对测试程序中的各个接口进行配置，指定接口中包含的信号；获取测试程序的第一接口中的第一信号的第一配置参数；根据第一配置参数确定第一信号对应的映射策略；基于映射策略确定待测设计中与第一信号相匹配的第二信号；根据第一配置参数和第二信号的第二配置参数，将第一信号与第二信号进行映射，通过动态映射的方式，提升了信号映射效率，进而提高了信号控制效率。