-
公开(公告)号：CN114580344A
公开(公告)日：2022-06-03
申请号：CN202210452390.0
申请日：2022-04-24
Applicant: 飞腾信息技术有限公司
IPC: G06F30/398
Abstract: 本申请提供一种测试激励生成方法、验证方法、验证系统及相关设备，该方法包括：获取激励请求，所述激励请求携带有待测Cache设计一致性测试场景所需的激励参数，所述待测Cache设计被配置成为多核处理器与主存之间进行数据交互时提供缓存空间，所述激励参数包括所述测试场景指定的初始请求节点、最终请求节点和内存地址；响应于所述激励请求，通过所述初始请求节点构造所述内存地址对应的所述待测Cache设计的起始状态；将所述最终请求节点和所述内存地址转化为激励控制函数的输入项，生成所述测试场景下的激励文件。本申请相比于手动编写测试激励的方式，效率更高，适用性更强。
-
公开(公告)号：CN114968864B
公开(公告)日：2022-10-25
申请号：CN202210901657.X
申请日：2022-07-28
Applicant: 飞腾信息技术有限公司
Abstract: 本发明提供了一种验证环境的搭建方法、芯片的验证方法及系统，该方法基于承载于描述符表的初始数据生成DMA描述符的构建模型，并基于该模型实现DMA描述符的生成。该描述符表以标准的方式指示DMA描述符各部分数据的填写位置，使得DMA描述符得以更加直观地展现在用户面前，从而使得用户基于描述符表生成的DMA描述符具有更好的可继承性，其他用户可以通过描述符表中数据的修改实现对DMA描述符的修改，简单易用，无需在验证环境的搭建过程中针对每个DMA操作均进行一次完整的DAM描述符的数据编写和生成操作，提高了DMA描述符的生成效率，从而提高了整个验证环境的搭建效率。
-
公开(公告)号：CN114968864A
公开(公告)日：2022-08-30
申请号：CN202210901657.X
申请日：2022-07-28
Applicant: 飞腾信息技术有限公司
Abstract: 本发明提供了一种验证环境的搭建方法、芯片的验证方法及系统，该方法基于承载于描述符表的初始数据生成DMA描述符的构建模型，并基于该模型实现DMA描述符的生成。该描述符表以标准的方式指示DMA描述符各部分数据的填写位置，使得DMA描述符得以更加直观地展现在用户面前，从而使得用户基于描述符表生成的DMA描述符具有更好的可继承性，其他用户可以通过描述符表中数据的修改实现对DMA描述符的修改，简单易用，无需在验证环境的搭建过程中针对每个DMA操作均进行一次完整的DAM描述符的数据编写和生成操作，提高了DMA描述符的生成效率，从而提高了整个验证环境的搭建效率。
-
公开(公告)号：CN112506517A
公开(公告)日：2021-03-16
申请号：CN202011377429.4
申请日：2020-11-30
Applicant: 天津飞腾信息技术有限公司
Abstract: 本发明公开了一种裸机系统级激励交叉编译系统及编译方法，该系统包括：测试激励模块，用于编写并存储针对相应裸机系统级验证功能点的定向和随机激励；库文件模块，用来实现裸机启动程序的功能和激励开发过程中的共用函数；CPU内核配置模块，用于实现目标CPU配置；编译链接模块，用于描述可执行文件的链接方式，并将二进制文件解析生成可用于调试的反汇编代码；编译环境解析汇编模块，用于将配置解析出来以生成相应的文件，并汇编生成可执行的二进制文件。该方法可以基于上述系统来实施。本发明具有灵活性好、适用范围广、可提高仿真效率等优点。
-
Patent Agency Ranking
公开(公告)号：CN112199291A
公开(公告)日：2021-01-08
申请号：CN202011109721.8
申请日：2020-10-16
Applicant: 天津飞腾信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种多核处理器Cache一致性模拟验证方法及验证装置，该验证方法为：配置验证环境和验证激励，在验证环境下进行激励测试；在完成激励测试之后进行覆盖率收集与性能统计，通过全局协议正确性检查来判定系统是否按照协议要求进行状态的正确迁移。该验证装置是基于上述验证方法来构建的。本发明具有原理简单、操作简便、验证效果好等优点。
-
公开(公告)号：CN118885411A
公开(公告)日：2024-11-01
申请号：CN202410853717.4
申请日：2024-06-27
Applicant: 飞腾信息技术有限公司
IPC: G06F12/0831 , G06F12/084
Abstract: 本申请涉及一种处理器、电子设备及访存一致性验证方法，属于电子电路领域。该处理器包括：内存、外设接口以及处理器核；外设接口被配置为连接接口协议模型，所述接口协议模型用于模拟外部设备的DMA访存；处理器核被配置为配置所述接口协议模型中的寄存器组，以使所述接口协议模型基于所述寄存器组中的值，通过所述外设接口发出DMA访存操作；以及向所述内存发出目标访存操作，其中，所述目标访存操作的访存地址与所述DMA访存操作中的访存地址一致；所述处理器核，还被配置为将所述目标访存操作的访存数据与所述DMA访存操作的访存数据进行一致性比较，得到比较结果。以改善现有DMA访存一致性验证存在的通用性差、实现方法复杂的问题。
-
公开(公告)号：CN112506517B
公开(公告)日：2024-09-06
申请号：CN202011377429.4
申请日：2020-11-30
Applicant: 飞腾信息技术有限公司
Abstract: 本发明公开了一种裸机系统级激励交叉编译系统及编译方法，该系统包括：测试激励模块，用于编写并存储针对相应裸机系统级验证功能点的定向和随机激励；库文件模块，用来实现裸机启动程序的功能和激励开发过程中的共用函数；CPU内核配置模块，用于实现目标CPU配置；编译链接模块，用于描述可执行文件的链接方式，并将二进制文件解析生成可用于调试的反汇编代码；编译环境解析汇编模块，用于将配置解析出来以生成相应的文件，并汇编生成可执行的二进制文件。该方法可以基于上述系统来实施。本发明具有灵活性好、适用范围广、可提高仿真效率等优点。
-
公开(公告)号：CN114580344B
公开(公告)日：2022-08-16
申请号：CN202210452390.0
申请日：2022-04-24
Applicant: 飞腾信息技术有限公司
IPC: G06F30/398
Abstract: 本申请提供一种测试激励生成方法、验证方法、验证系统及相关设备，该方法包括：获取激励请求，所述激励请求携带有待测Cache设计一致性测试场景所需的激励参数，所述待测Cache设计被配置成为多核处理器与主存之间进行数据交互时提供缓存空间，所述激励参数包括所述测试场景指定的初始请求节点、最终请求节点和内存地址；响应于所述激励请求，通过所述初始请求节点构造所述内存地址对应的所述待测Cache设计的起始状态；将所述最终请求节点和所述内存地址转化为激励控制函数的输入项，生成所述测试场景下的激励文件。本申请相比于手动编写测试激励的方式，效率更高，适用性更强。
-
公开(公告)号：CN214176363U
公开(公告)日：2021-09-10
申请号：CN202022825378.9
申请日：2020-11-30
Applicant: 飞腾信息技术有限公司
IPC: H01R27/00
Abstract: 本实用新型公开了一种系统级仿真加速器验证环境用PCIE设备板卡扩展连接装置，包括主板，所述主板上分别带有用于连接PCIE设备板卡的金手指接口的第一PCIE插槽和用于连接待测设计的金手指接口的第一PCIE插槽，所述第一PCIE插槽和第一PCIE插槽之间的控制信号引脚相互并联，所述第一PCIE插槽和第一PCIE插槽之间的数据信号引脚之间互补连接。本实用新型能够实现系统级仿真加速器验证环境中的PCIE设备板卡的金手指接口、待测设计的金手指接口之间的一对一连接，增强对PCIE设备的验证能力，具有结构简单、使用方便的优点。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.028 seconds)
