公开(公告)号：CN111274750A

公开(公告)日：2020-06-12

申请号：CN202010146039.X

申请日：2020-03-05

Applicant: 中国工程物理研究院计算机应用研究所

Inventor： 卢航 ,  敬祥 ,  史龙飞

IPC: G06F30/331

Abstract: 一种基于可视化建模的FPGA仿真验证系统，基于可视化建模的FPGA仿真验证系统和方法，包括上位机系统和下位机系统；上位机系统包括依次通讯连接的可视化管理模块、可视化构建模块、平台代码生成模块和网络数据发送模块；下位机系统包括依次通讯连接的网络数据接收模块、网络数据解析模块、网络数据存储模块、网络数据命令执行模块和仿真验证模块；网络数据接收模块通讯连接网络数据发送模块；本发明还提出了一种基于可视化建模的FPGA仿真验证方法。本发明采用的可视化建模方法，能快速高效的构建出满足要求的FPGA仿真验证平台，并通过网络实现FPGA仿真远程控制，显著提升FPGA仿真验证的效率和充分性。

公开(公告)号：CN117573531A

公开(公告)日：2024-02-20

申请号：CN202311544978.X

申请日：2023-11-20

Applicant: 中国工程物理研究院计算机应用研究所

Inventor： 张进坤 ,  史龙飞 ,  马思友

IPC: G06F11/36

Abstract: 本发明涉及装备软件测试技术领域，具体为一种基于功能关键程度和代码控制流程的装备软件测试方法，包括：根据装备系统的使命任务、软件配置项等信息，以及测试要求，确定装备软件的测试目标；基于装备系统中由软件完成的数字及逻辑处理任务，确定装备软件的业务模块。本发明基于软件运行流程的路径覆盖有效性假设，即某一路径的测试通过，则认为与该路径相关的测试是有效的；所有路径的测试通过，则认为整个软件的测试是有效的。本发明所述方法为装备软件测试提供了一种在工程实践中可选的度量测试有效性的方案，通用性好，有助于发现装备软件设计和实现中潜藏的故障，提升装备软件测试质量。

公开(公告)号：CN116610553A

公开(公告)日：2023-08-18

申请号：CN202210942191.8

申请日：2022-08-08

Applicant: 中国工程物理研究院计算机应用研究所

Inventor： 张进坤 ,  沈亚峰 ,  史龙飞 ,  卢航 ,  邓霏 ,  杨柯 ,  彭艳红 ,  杨红庆

IPC: G06F11/36

Abstract: 本申请公开了一种基于轻量级总线测试框架的数据仿真测试方法。该方法包括：设计轻量级总线测试框架，定义统一的插件接口；设计单总线接口测试插件，实现插件接口，形成插件集，仿真被测系统的外围数据；准备板卡/转接盒硬件设备及驱动程序，连接被测系统，构建半实物仿真测试环境，实现数据的物理层传输；基于总线接口的物理连接需求，配置插件类型和插件窗体数量，初始化框架；根据被测系统的外围数据仿真需求，配置测试数据，支持多种模式发送数据，支持接收数据的自动应答，实现被测系统的外围数据仿真，从而实施自动化测试。本申请解决了现有技术不能灵活构建半实物仿真测试环境，实施自动化测试的使用门槛较高的技术问题。

公开(公告)号：CN110309085A

公开(公告)日：2019-10-08

申请号：CN201910440318.4

申请日：2019-05-24

Applicant: 中国工程物理研究院计算机应用研究所

Inventor： 郭兴林 ,  张谊 ,  颜运强 ,  卢航 ,  史龙飞 ,  周昱瑶

IPC: G06F13/10 ,  G06F13/42

Abstract: 本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器外部接口的统一封装和内部结构层次设计；外部接口包括地址总线接口、数据总线接口、控制请求信号接口、数据请求信号接口和完成信号接口，内部层次结构包括前者包含后者的主控制单元、字节控制单元和比特控制单元。本发明能够提高I2C接口验证控制器的可配置性、可复用性、操作简便性，I2C接口验证充分性和效率都得到极大提高，验证效率至少提高40％以上。

公开(公告)号：CN111274750B

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

申请号：CN202010146039.X

申请日：2020-03-05

Applicant: 中国工程物理研究院计算机应用研究所

Inventor： 卢航 ,  敬祥 ,  史龙飞

IPC: G06F30/331

公开(公告)号：CN110309085B

公开(公告)日：2023-05-05

申请号：CN201910440318.4

申请日：2019-05-24

Applicant: 中国工程物理研究院计算机应用研究所

Inventor： 郭兴林 ,  张谊 ,  颜运强 ,  卢航 ,  史龙飞 ,  周昱瑶

IPC: G06F13/10 ,  G06F13/42

Abstract: 本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器外部接口的统一封装和内部结构层次设计；外部接口包括地址总线接口、数据总线接口、控制请求信号接口、数据请求信号接口和完成信号接口，内部层次结构包括前者包含后者的主控制单元、字节控制单元和比特控制单元。本发明能够提高I2C接口验证控制器的可配置性、可复用性、操作简便性，I2C接口验证充分性和效率都得到极大提高，验证效率至少提高40％以上。