王健
- 作品数：10 被引量：5H指数：2
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种虚拟存储模型及其方法
- 本发明涉及一种虚拟存储模型及其方法，包括存储协议处理模块、虚拟存储空间、物理资源组模块和资源映射模块，所述虚拟存储空间包括逻辑基，所述逻辑基由逻辑基资源处理模块和逻辑基语义处理模块组成，数据访问依次通过所述存储协议处理模...
- 卜庆忠于健吕思伟朱旭东王健张建刚
- 文献传递
- 一种应用于异构计算设备的联邦学习系统和方法
- 本发明提供一种应用于异构计算设备的联邦学习系统和方法，所述系统包括联邦学习管控平台以及多个联邦学习参与方计算设备，其中，在所述联邦学习管控平台和联邦学习参与方计算设备上部署联邦学习应用模块。本发明使各联邦学习参与方可以在...
- 蒋鑫龙王健陈益强马兴敏张腾
- 基于指令模板的通用处理器约束随机指令生成方法被引量：3
- 2015年
- 随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈。而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求。为此,给出一种约束随机指令生成方法,对ARMv8处理器进行模拟验证。从指令集中提取指令模板,用指令模板生成合法的ARMv8指令,通过调整约束支持各种功能场景的验证。基于结果自动比对的验证环境,对处理器进行充分验证,发现58处设计错误,可用在后续的FPGA硬件仿真中。验证结果表明,该方法可得到90%的结构覆盖率。
- 刘婧王天成王健李华伟
- 关键词：通用处理器
- 基于边缘计算的帕金森症辅助诊断系统和方法
- 本发明提供基于边缘计算的帕金森症辅助诊断系统，包括：终端、边缘端，其中，所述终端用于数据采集，数据标注以及数据增量传输；所述边缘端用于接收所述终端采集的音视频数据以及诊断请求，提供音视频数据规整服务、数据管理服务、神经网...
- 陈益强李宜兵蒋鑫龙王健
- 一种基于指令模板的通用处理器约束随机指令生成方法
- 处理器是集成电路中功能最为复杂的设计之一,这对其功能验证提出了巨大的挑战.本文提出了一种基于指令模板的通用处理器约束随机指令生成方法,针对一款ARMv8处理器进行了模拟验证.此指令生成方法基于从指令集中提炼的指令模板,通...
- 刘婧王天成王健李华伟
- 关键词：集成电路通用处理器
- 一种应用于异构计算设备的联邦学习系统和方法
- 本发明提供一种应用于异构计算设备的联邦学习系统和方法，所述系统包括联邦学习管控平台以及多个联邦学习参与方计算设备，其中，在所述联邦学习管控平台和联邦学习参与方计算设备上部署联邦学习应用模块。本发明使各联邦学习参与方可以在...
- 蒋鑫龙王健陈益强马兴敏张腾
- 文献传递
- 一种虚拟存储模型及其方法
- 本发明涉及一种虚拟存储模型及其方法，包括存储协议处理模块、虚拟存储空间、物理资源组模块和资源映射模块，所述虚拟存储空间包括逻辑基，所述逻辑基由逻辑基资源处理模块和逻辑基语义处理模块组成，数据访问依次通过所述存储协议处理模...
- 卜庆忠于健吕思伟朱旭东王健张建刚
- 文献传递
- 设计错误注入验证方法综述
- 设计错误注入在数字集成电路验证中广泛应用,可用于评估验证质量和指导激励生成.首先介绍设计错误注入验证方法的基本原理,然后介绍设计错误注入验证领域的主要研究方向,以及这些研究工作针对设计错误注入验证方法的3个最基本问题:设...
- 王健王天成李华伟李晓维
- 关键词：数字集成电路
- 文献传递
- 基于边缘计算的帕金森症辅助诊断系统和方法
- 本发明提供基于边缘计算的帕金森症辅助诊断系统，包括：终端、边缘端，其中，所述终端用于数据采集，数据标注以及数据增量传输；所述边缘端用于接收所述终端采集的音视频数据以及诊断请求，提供音视频数据规整服务、数据管理服务、神经网...
- 陈益强李宜兵蒋鑫龙王健
- PCIE协议栈模拟验证平台的设计和实现被引量：3
- 2015年
- Intel提出的第三代总线技术PCI Express在结构上可以满足计算机系统的发展对总线带宽的要求,基于PCIE的设计得以蓬勃发展,对PCIE的验证也成为So C功能验证的重要组成部分。为此,设计并实现一种状态图和覆盖率组合驱动的自动化验证平台,主要包括激励生成、自动检测和覆盖率分析机制,并将其应用于一款基于PCIE接口的协议栈芯片的功能验证。实验结果表明,该验证平台具有较好的激励生成机制,能够对协议栈芯片进行全面验证,同时具有较好的复用性、可扩展性,可以对多个协议栈的互连进行验证。
- 张良王天成王健李华伟郭建
