搜索到 篇“ 系统级验证 “的相关文章

相关作者

刘勇鹏
作品数：43被引量：52H指数：3
供职机构：国防科学技术大学
研究主题：处理器 操作系统 虚拟化 功耗管理 功耗
梁斌
作品数：255被引量：53H指数：4
供职机构：国防科学技术大学
研究主题：单粒子翻转 单粒子 D触发器 双模冗余 缓冲电路
李根
作品数：39被引量：24H指数：3
供职机构：国防科学技术大学
研究主题：处理器 二进制 数值模拟 数据库 高可信软件
林晓涛
作品数：17被引量：0H指数：0
供职机构：中兴通讯股份有限公司
研究主题：寄存器 总线接口模块 总线 异步时钟 DMA
杨帆
作品数：112被引量：92H指数：5
供职机构：西安电子科技大学
研究主题：单粒子效应 光网络 时延 CLOS网络 分组调度算法