-
公开(公告)号：CN117112447A
公开(公告)日：2023-11-24
申请号：CN202311344665.X
申请日：2023-10-17
Applicant: 北京开源芯片研究院
IPC: G06F11/36 , G06F30/367
Abstract: 本发明实施例提供一种数据传输方法、装置、电子设备及可读存储介质，涉及计算机技术领域。该方法包括：利用仿真软件对待测设计进行调试；待测设计烧录在可编程逻辑芯片中，可编程逻辑芯片中还包括数据写入模块和大容量存储单元；在满足预设条件的情况下，停止仿真软件的运行，并获取目标数据；根据目标数据和目标数据在所述大容量存储单元中的存储地址，生成目标文件；在目标文件中，目标数据与存储地址一一对应；利用数据写入模块基于目标文件，将目标数据写入大容量存储单元。本发明实施例为仿真软件往可编程逻辑芯片的大容量存储单元写入目标数据提供了切实可行的实现方式，提高了仿真软件往可编程逻辑芯片写入数据的效率。
-
公开(公告)号：CN117076337A
公开(公告)日：2023-11-17
申请号：CN202311345094.1
申请日：2023-10-17
Applicant: 北京开源芯片研究院
IPC: G06F11/36 , G06F30/367
Abstract: 本发明实施例提供一种数据传输方法、装置、电子设备及可读存储介质，涉及计算机技术领域。该方法包括：在满足数据获取条件的情况下，利用逻辑读取模块获取大容量存储单元中的目标数据；按照目标数据在大容量存储单元中的存储地址，对目标数据进行打包，得到目标文件；在目标文件中，目标数据与所述存储地址一一对应；将目标文件发送至目标设备，以供目标设备对目标文件进行解析使用。本发明实施例为从可编程逻辑芯片的大容量存储单元中往目标设备读取配置数据提供了切实可行的实现方式，提高了从可编程逻辑芯片往目标设备读取配置数据的效率。
-
公开(公告)号：CN116663463A
公开(公告)日：2023-08-29
申请号：CN202310934163.6
申请日：2023-07-27
Applicant: 北京开源芯片研究院
IPC: G06F30/331 , G06F30/3312 , G06F30/3323 , G06F30/327
Abstract: 本发明实施例提供一种电路验证方法、装置、电子设备及可读存储介质，该方法包括：获取设计文件，所述设计文件包括被测设计和断言语句；所述断言语句用于验证所述被测设计是否满足测试条件；将所述断言语句转化为断言电路，所述断言电路为寄存器转换级电路；基于所述被测设计和所述断言电路，生成目标网表；根据所述目标网表将所述被测设计和所述断言电路配置到集成电路芯片中；运行所述集成电路芯片，并监测所述被测设计的断言结果；在所述被测设计的断言覆盖率满足预设条件的情况下，确定所述被测设计通过验证。本发明实施例可以利用断言电路来揭示被测设计内部状态和潜在问题，解决了FPGA仿真缺乏设计细节的低级可见性的问题。
-
公开(公告)号：CN116663462A
公开(公告)日：2023-08-29
申请号：CN202310934159.X
申请日：2023-07-27
Applicant: 北京开源芯片研究院
IPC: G06F30/331 , G06F30/3312 , G06F30/3323 , G06F30/327
Abstract: 本发明实施例提供一种断言验证方法、断言验证平台、电子设备及可读存储介质，涉及计算机技术领域。其中的断言验证方法应用于断言验证平台，所述断言验证平台包括可编程逻辑芯片，所述可编程逻辑芯片中配置有被测设计、覆盖率监视器和硬件化断言测试集；所述方法包括：利用所述硬件化断言测试集对所述被测设计进行断言验证，并通过所述覆盖率监视器确定所述被测设计的断言覆盖率；在所述被测设计的断言覆盖率满足预设条件的情况下，确定所述被测设计通过验证。在本发明实施例提供的断言验证平台中，不可综合的断言语句被转化为等效硬件化断言测试集，实现了用硬件对被测设计进行调试加速。
-
公开(公告)号：CN118966113B
公开(公告)日：2025-02-07
申请号：CN202411441668.X
申请日：2024-10-15
Applicant: 北京开源芯片研究院
IPC: G06F30/343 , G06F30/327
Abstract: 本发明实施例提供一种同步控制方法、装置、电子设备及可读存储介质，该方法包括：控制待测设计执行所述测试程序，并确定所述待测设计的执行指令数；在所述待测设计满足指令提交事件的第一触发条件的情况下，根据所述待测设计的执行指令数驱动所述参考模型执行相同数目的指令；在所述待测设计满足同步事件的第二触发条件的情况下，中断所述待测设计的运行，获取所述待测设计的第一状态信息；根据所述第一状态信息对所述参考模型的第二状态信息进行更新，以对所述待测设计与所述参考模型进行状态同步。本发明实施例通过指令提交事件和同步事件的划分，将待测设计与参考模型的驱动逻辑进行了解耦，提升了验证系统的运行速度。
-
Patent Agency Ranking
公开(公告)号：CN118966099B
公开(公告)日：2025-02-07
申请号：CN202411441664.1
申请日：2024-10-15
Applicant: 北京开源芯片研究院
IPC: G06F30/33
Abstract: 本发明实施例提供一种验证方法、装置、电子设备及可读存储介质，该方法包括：控制待测设计执行测试程序，并收集所述待测设计的第一执行信息；在满足预设事件的触发条件的情况下，根据所述待测设计的第一执行信息生成数据包；所述数据包中包括所述待测设计的执行指令数；将所述数据包发送至所述软件端；对更新后的数据包进行解析，确定所述参考模型的第二执行信息；将所述第一执行信息与所述第二执行信息进行比较；在所述第一执行信息和所述第二执行信息不匹配的情况下，确定所述待测设计运行出错。本发明实施例增加了验证的可见度，便于快速定位待测设计的错误位置，有利于对待测设计及时进行细粒度调试和检查。
-
公开(公告)号：CN118966099A
公开(公告)日：2024-11-15
申请号：CN202411441664.1
申请日：2024-10-15
Applicant: 北京开源芯片研究院
IPC: G06F30/33
Abstract: 本发明实施例提供一种验证方法、装置、电子设备及可读存储介质，该方法包括：控制待测设计执行测试程序，并收集所述待测设计的第一执行信息；在满足预设事件的触发条件的情况下，根据所述待测设计的第一执行信息生成数据包；所述数据包中包括所述待测设计的执行指令数；将所述数据包发送至所述软件端；对更新后的数据包进行解析，确定所述参考模型的第二执行信息；将所述第一执行信息与所述第二执行信息进行比较；在所述第一执行信息和所述第二执行信息不匹配的情况下，确定所述待测设计运行出错。本发明实施例增加了验证的可见度，便于快速定位待测设计的错误位置，有利于对待测设计及时进行细粒度调试和检查。
-
公开(公告)号：CN118964275A
公开(公告)日：2024-11-15
申请号：CN202411441833.1
申请日：2024-10-15
Applicant: 北京开源芯片研究院
IPC: G06F15/167 , G06F13/10 , G06F13/42
Abstract: 本发明实施例提供一种数据传输方法、装置、电子设备及可读存储介质，该方法包括：收数据程序接收来自所述硬件端的第一数据，在数据处理程序空闲的情况下将所述第一数据写入共享内存；数据处理程序从所述共享内存中获取所述第一数据，并基于所述第一数据执行数据处理任务，得到第一结果数据，在所述发数据程序空闲的情况下将所述第一结果数据写入所述共享内存；发数据程序从所述共享内存中获取所述第一结果数据，将所述第一结果数据发送至所述硬件端。本发明实施例实现了软件端与硬件端之间的数据交互，提升了数据传输效率，有利于降低软件端和硬件端之间的传输时延，提升软硬件系统整体的性能。
-
公开(公告)号：CN117094269B
公开(公告)日：2024-02-02
申请号：CN202311345104.1
申请日：2023-10-17
Applicant: 北京开源芯片研究院
IPC: G06F30/367 , G06F30/373
Abstract: 本发明实施例提供一种验证方法、装置、电子设备及可读存储介质，涉及计算机技术领域，该方法包括：利用仿真软件对待测设计进行调试；所述待测设计烧录在可编程逻辑芯片中；在满足预设条件的情况下，停止仿真软件的运行，并读取所述仿真软件的第一状态信息；根据所述第一状态信息修改所述待测设计对应的比特流文件；根据所述比特流文件将所述状态信息写回至所述可编程逻辑芯片中；重新运行所述待测设计，以继续对所述待测设计进行验证。本发明实施例利用FPGA加速提升了验证效率，并在验证过程中，利用仿真软件对待测设计进行调试，保证了仿真的自由度和调试效率。
-
公开(公告)号：CN117076337B
公开(公告)日：2024-02-02
申请号：CN202311345094.1
申请日：2023-10-17
Applicant: 北京开源芯片研究院
IPC: G06F11/36 , G06F30/367
Abstract: 本发明实施例提供一种数据传输方法、装置、电子设备及可读存储介质，涉及计算机技术领域。该方法包括：在满足数据获取条件的情况下，利用逻辑读取模块获取大容量存储单元中的目标数据；按照目标数据在大容量存储单元中的存储地址，对目标数据进行打包，得到目标文件；在目标文件中，目标数据与所述存储地址一一对应；将目标文件发送至目标设备，以供目标设备对目标文件进行解析使用。本发明实施例为从可编程逻辑芯片的大容量存储单元中往目标设备读取配置数据提供了切实可行的实现方式，提高了从可编程逻辑芯片往目标设备读取配置数据的效率。
-
-
-
-
-
-
-
-
-
Search Results
34
records
(took 0.029 seconds)
