公开(公告)号：CN112463614A

公开(公告)日：2021-03-09

申请号：CN202011392719.6

申请日：2020-12-01

Applicant: 北京计算机技术及应用研究所 ,  中国人民解放军63921部队

Inventor： 安恒 ,  张慧颖 ,  孔祥炳 ,  司倩然 ,  贾张涛 ,  金玉川 ,  李雅斯

IPC: G06F11/36 ,  G06F9/455

Abstract: 本发明涉及一种基于硬件板卡接入的软件虚拟化测试环境构建方法，其中，包括：搭建嵌入式目标处理器指令集虚拟仿真环境；搭建嵌入式系统片上设备虚拟仿真环境；完成硬件板卡在宿主机上的适配安装，实现宿主机虚拟环境下对板卡的操作与控制；建立外部设备模拟环境与宿主机硬件板卡的物理连接，建立外部设备模拟环境与硬件板卡的通信链路；获取虚拟环境下对外部设备模拟环境消息，建立虚拟环境下的消息处理响应机制，将外部设备模拟环境发送的消息通过硬件板卡完整的反馈给虚拟运行环境；处理虚拟环境下对外部设备模拟环境消息，建立虚拟环境下状态更新机制，将虚拟运行环境处理后的消息结果和消息状态通过硬件板卡准确的反馈给外部设备模拟环境。

公开(公告)号：CN110716874A

公开(公告)日：2020-01-21

申请号：CN201910909108.5

申请日：2019-09-25

Applicant: 北京计算机技术及应用研究所

Inventor： 陈鹏 ,  高艳鹍 ,  陶金龙 ,  安恒

IPC: G06F11/36

Abstract: 本发明涉及一种国产操作系统硬件兼容性测试方法，其特征在于，包括：构建操作系统内核知识库；向知识库中添加驱动程序动态依赖项；静态扫描驱动程序文件，得到运行所需的内核信息；进行依赖要素比对，若比对时发现主版本号不一致，则操作系统与驱动程序判定为不兼容；在知识库中查找驱动程序名称以及内核版本号和静态扫描得到的驱动程序名称以及内核版本号一致的项，判断操作系统兼容性；从知识库里找到的该一致的项中提取源码层面的信息，分别与静态扫描得到的驱动程序调用的头文件源码、导出函数和结构体声明进行比对，导出函数或者结构体声明信息的顺序依次进行，并得出比对的结果；给出操作系统硬件兼容性以及测试报告。

公开(公告)号：CN106293641B

公开(公告)日：2018-12-25

申请号：CN201610601844.0

申请日：2016-07-27

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  张建伟 ,  安恒 ,  孔祥炳

IPC: G06F9/38 ,  G06F9/455

Abstract: 本发明公开了一种基于流水线重构的VLIW体系架构性能模拟方法，其中，包括：第一步：E3节拍模拟；第二步：E2节拍模拟；第三步：E1节拍模拟；第四步：DC节拍模拟；第五步：DP节拍模拟；第六步：PR节拍模拟；第七步：PW节拍模拟；第八步：PS节拍模拟；第九步：PG节拍模拟。本发明基于流水线重构的超长指令字体系架构性能模拟方法，对VLIW体系结构影响流水线模拟的各个因素进行抽象和分析，基于延迟槽结构的流水线推进，能够实现VLIW体系结构流水线的模拟和精确的周期计算，为设备时钟精确的仿真模型提供理论依据和具体实现方法。