公开(公告)号：CN111930444B

公开(公告)日：2021-02-05

申请号：CN202011107190.9

申请日：2020-10-16

Applicant: 鹏城实验室

Inventor： 张延飞 ,  张凡 ,  李睿 ,  高峰

IPC: G06F9/445 ,  G06F30/327 ,  G06F11/36

Abstract: 本发明公开了一种处理器核验证的指令耦合装置、方法、设备及存储介质，处理器核验证的指令耦合装置包括：配置信息解析器、约束求解器、指令生成器和指令发射器，配置信息解析器用于将处理器核中测试用例的配置信息解析为第一约束数据；约束求解器用于基于第一约束数据进行约束求解，确定求解约束的结果，基于第一约束数据生成第二约束数据；指令生成器用于基于第二约束数据生成耦合指令或非耦合指令；指令发射器用于将耦合指令或非耦合指令发送至驱动器，将生成的指令信息反馈至约束求解器。本发明将配置信息和指令发射器中的指令信息耦合，使得各个指令之间相互关联和依赖，提升了测试覆盖率收敛效率。

公开(公告)号：CN120075311A

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

申请号：CN202510459017.1

申请日：2025-04-14

Applicant: 鹏城实验室

Inventor： 徐光侠 ,  高峰 ,  周昂 ,  张延飞 ,  钟国祥 ,  周瀚 ,  付志鹏 ,  徐恒梅 ,  刘元恒

IPC: H04L69/08 ,  H04L69/22 ,  H04L67/01 ,  H04L69/167 ,  H04L12/40

Abstract: 本申请实施例提出的C2F应用传输系统的工业报文发送方法、接收方法及相关设备，C2F应用传输系统包括依次连接的发送站、发送转换设备、接收转换设备以及接收站，方法应用于发送转换设备，方法包括：获取由发送站输入的C2F应用工业报文数据；基于C2F应用工业报文数据的报文数据特征以及IP网络的实时网络特征，将C2F应用工业报文数据进行加密处理，得到加密报文数据；基于接收转换设备的寄存器配置，对加密报文数据进行IP报文封装，得到IP加密报文数据；将IP加密报文数据通过IP网络发送至接收转换设备，以使得接收转换设备将C2F应用工业报文数据转发至接收站，在提高C2F应用工业报文数据的传输灵活性的同时，也提高了数据传输中的安全性。

公开(公告)号：CN113312226A

公开(公告)日：2021-08-27

申请号：CN202110694728.9

申请日：2021-06-22

Applicant: 鹏城实验室

Inventor： 张延飞 ,  高峰 ,  周昂 ,  付鹏宇

IPC: G06F11/22

Abstract: 本发明公开了一种测试逻辑设计异常特性的验证平台，包括：异常激励生成器，用于生成随机异常测试激励，获取随机异常测试激励的激励特征，并将激励特征发送至配置生成器；配置生成器，用于获取与激励特征对应的第一配置信息与第二配置信息，以及将第一配置信息发送至参考模型，将第二配置信息发送至比较器。本发明还公开了一种测试逻辑设计异常特性的验证装置以及存储介质。本发明通过不同异常测试激励生成的配置信息对参考模型以及比较器的功能进行动态配置，使得验证平台可适应不同异常特性的验证，从而可支持异常特性的随机激励测试，无需针对不同异常特性单独开发定向测试用例，提高了异常特性的验证效率和质量。

公开(公告)号：CN112231164A

公开(公告)日：2021-01-15

申请号：CN202011446163.4

申请日：2020-12-11

Applicant: 鹏城实验室

Inventor： 张延飞 ,  高峰 ,  庞川 ,  付鹏宇 ,  程睿

IPC: G06F11/22

Abstract: 本申请公开了一种处理器验证方法、设备及可读存储介质，所述处理器验证方法包括：获取测试用例对应的配置信息，并生成所述测试用例对应的测试覆盖目标信息，进而将所述配置信息解析为指令约束，并基于所述测试覆盖目标信息，对基于所述指令约束生成的测试指令流进行覆盖率分析，获得覆盖率分析结果，进而基于所述覆盖率分析结果，对所述测试覆盖目标信息和所述指令约束进行更新，以进行指令发包，获得目标指令流，进而基于所述目标指令流进行处理器验证，获得目标验证结果。本申请解决了处理器验证时测试效率低的技术问题。

公开(公告)号：CN111930444A

公开(公告)日：2020-11-13

申请号：CN202011107190.9

申请日：2020-10-16

Applicant: 鹏城实验室

Inventor： 张延飞 ,  张凡 ,  李睿 ,  高峰

IPC: G06F9/445 ,  G06F30/327 ,  G06F11/36

Abstract: 本发明公开了一种处理器核验证的指令耦合装置、方法、设备及存储介质，处理器核验证的指令耦合装置包括：配置信息解析器、约束求解器、指令生成器和指令发射器，配置信息解析器用于将处理器核中测试用例的配置信息解析为第一约束数据；约束求解器用于基于第一约束数据进行约束求解，确定求解约束的结果，基于第一约束数据生成第二约束数据；指令生成器用于基于第二约束数据生成耦合指令或非耦合指令；指令发射器用于将耦合指令或非耦合指令发送至驱动器，将生成的指令信息反馈至约束求解器。本发明将配置信息和指令发射器中的指令信息耦合，使得各个指令之间相互关联和依赖，提升了测试覆盖率收敛效率。