基本信息
王剑 男 博导 计算技术研究所
电子邮件:jw@ict.ac.cn
通信地址:北京市海淀区中关村科学院南路6号
邮政编码:100190

研究领域

微处理器结构设计、验证技术研究,操作系统等系统软件优化技术研究

招生信息

   
招生专业
081201-计算机系统结构
085211-计算机技术
招生方向
微处理器设计、验证
操作系统、虚拟机

教育背景

2002-09--2008-06 中国科学院计算技术研究所 工学博士
1994-09--1997-06 中国科学院计算技术研究所 工学硕士
1989-09--1994-06 中国科学技术大学计算机科学与技术系 工学学士
学历
-- 研究生
学位
-- 博士

工作经历

   
工作简历
1997-07--今 中国科学院计算技术研究所 研究实习员、助理研究员、副研究员、正高级工程师

教授课程

汇编语言

专利与奖励

   
奖励信息
(1) 中国计算机学会王选奖,一等奖,其他级,2006
(2) 中国科学院杰出科技成就奖,部委级,2003
专利成果
[1] 王剑. 一种兼容多指令系统的处理器及其运行方法. CN: CN111124499B, 2022-11-01.
[2] 王剑. 一种处理器. CN: CN114968576A, 2022-08-30.
[3] 王剑. 基于异构流水线的高效通用处理器执行方法及系统. CN: CN111008042B, 2022-07-05.
[4] 王剑. 一种异构流水线的通用处理器及其执行方法. CN: CN112596791A, 2021-04-02.
[5] 王剑. 一种处理器核心结构及数据访存方法. CN: CN109614145B, 2021-03-09.
[6] 王剑. 一种兼容多指令系统的处理器及其运行方法. CN: CN111124499A, 2020-05-08.
[7] 王剑. 基于异构流水线的高效通用处理器执行方法及系统. CN: CN111008042A, 2020-04-14.
[8] 王剑. 一种处理器核心结构及数据访存方法. CN: CN109614145A, 2019-04-12.

出版信息

   
发表论文
[1] Li, Wenqing, Liu, Tianyi, Xiao, Ziyuan, Qi, Han, Zhu, Weipu, Wang, Jian. TCADer: A Tightly Coupled Accelerator Design framework for heterogeneous system with hardware/software co-design. JOURNAL OF SYSTEMS ARCHITECTURE[J]. 2023, 136: http://dx.doi.org/10.1016/j.sysarc.2023.102822.
[2] 李文青, 齐寒, 肖子原, 朱威浦, 王剑. 紧耦合异构线程处理器. 高技术通讯. 2023, 33(2): 113-123, http://lib.cqvip.com/Qikan/Article/Detail?id=7109588493.
[3] 李亚伟, 章隆兵, 张福新, 王剑. 基于软硬协同的程序运行时安全保护机制. 计算机学报[J]. 2023, 46(1): 180-201, http://lib.cqvip.com/Qikan/Article/Detail?id=7108684301.
[4] 张志超, 王剑, 章隆兵, 肖俊华. 面向目标检测的卷积神经网络优化方法. 高技术通讯[J]. 2022, 32(3): 227-238, http://lib.cqvip.com/Qikan/Article/Detail?id=7107081746.
[5] 张志超, 王剑, 章隆兵, 肖俊华. 基于软硬件协同加速的关系网络推理优化方法. 高技术通讯[J]. 2022, [6] 郑雅文, 吴瑞阳, 陈天奇, 汪文祥, 章隆兵, 王剑. 分离真伪时钟的处理器FPGA原型性能校准方法. 高技术通讯. 2022, 32(5): 462-470, https://d.wanfangdata.com.cn/periodical/gjstx98202205003.
[7] 张志超, 王剑, 章隆兵, 肖俊华. 基于FPGA的浮点可分离卷积神经网络加速方法. 高技术通讯. 2022, 32(5): 441-453, https://d.wanfangdata.com.cn/periodical/gjstx98202205001.
[8] Liqiong Yang, Linfeng Wang, Junhua Xiao, Longbing Zhang, Jian Wang. A 1.2 V,3.1%3σ-accuracy thermal sensor analog front-end circuit in 12 nm CMOS process. 半导体学报:英文版[J]. 2021, 42(3): 54-59, http://lib.cqvip.com/Qikan/Article/Detail?id=7104115304.
[9] 朱琛, 王剑, 高翔, 毛碧波, 李星. 龙芯KVM虚拟机I/O中断子系统的优化. 高技术通讯[J]. 2020, 30(9): 893-900, http://lib.cqvip.com/Qikan/Article/Detail?id=7102963587.
[10] 李文青, 吴畏, 章隆兵, 肖俊华, 王剑. 处理器访存子系统关键队列的性能建模. 高技术通讯[J]. 2020, 30(7): 655-665, https://kns.cnki.net/KCMS/detail/detail.aspx?dbcode=CJFQ&dbname=CJFDLAST2020&filename=GJSX202007002&v=MTA5NTkxRnJDVVI3cWVaK1J2RmluaFdyM09JaWZZZHJHNEhOSE1xSTlGWm9SOGVYMUx1eFlTN0RoMVQzcVRyV00=.
[11] 李鹏, 王剑, 曾露, 王焕东. 多核片上系统主控式内存控制器预取. 高技术通讯[J]. 2019, 29(5): 423-431, http://lib.cqvip.com/Qikan/Article/Detail?id=7002068736.
[12] 刘臻, 王剑, 赵鹏飞, 丁健平. 稀疏队列中的动态发射机制及电路实现. 高技术通讯[J]. 2017, 27(5): 389-397, http://lib.cqvip.com/Qikan/Article/Detail?id=673091335.
[13] 章隆兵, 李磊, 肖俊华, 贺晓, 王剑. 一种基于硬件的快速确定性重放方法. 高技术通讯[J]. 2017, 27(6): 487-494, http://lib.cqvip.com/Qikan/Article/Detail?id=673376212.
[14] 刘臻, 王剑, 王昊. 一种同步输出的稀疏树前导零检测电路. 高技术通讯[J]. 2017, 27(1): 38-45, http://lib.cqvip.com/Qikan/Article/Detail?id=672081925.
[15] 王昊, 刘臻, 王剑, 章隆兵. 基于蒙特卡洛方法的触发器聚类布局算法. 高技术通讯[J]. 2017, 27(1): 1-8, http://lib.cqvip.com/Qikan/Article/Detail?id=672081921.
[16] 傅杰, 靳国杰, 章隆兵, 王剑. 基于软硬件协同设计的解释器指令分派方法. 高技术通讯[J]. 2016, 26(3): 226-234, http://lib.cqvip.com/Qikan/Article/Detail?id=669494165.
[17] 廖彬, 傅杰, 靳国杰, 王一光, 王磊, 章隆兵, 王剑. NUMA结构的高效实时稳定的垃圾回收算法. 高技术通讯[J]. 2015, 125-134, http://lib.cqvip.com/Qikan/Article/Detail?id=664727164.
[18] 王磊, 陆超, 章隆兵, 王剑. 基于神经网络预测模型的异构多核处理器调度. 高技术通讯[J]. 2015, 567-574, http://lib.cqvip.com/Qikan/Article/Detail?id=666426464.
[19] Wang Lei, Liu Shaoli, Lu Chao, Zhang Longbing, Xiao Junhua, Wang Jian, Chen Y, Ienne O, Ji Q. Stable Matching Scheduler for Single-ISA Heterogeneous Multi-core Processors. ADVANCED PARALLEL PROCESSING TECHNOLOGIES, APPT 2015null. 2015, 9231: 45-59, [20] 陈华才, 张福新, 王剑. CPUAutoplug:动态变频与自动调核相结合的电源管理方法. 小型微型计算机系统[J]. 2014, 35(11): 2586-2592, https://d.wanfangdata.com.cn/periodical/xxwxjsjxt201411041.
[21] 敖琪, 蔡嵩松, 王剑. 基于硬件cache锁机制的Java虚拟机即时编译器优化. 计算机研究与发展[J]. 2012, 185-190, http://lib.cqvip.com/Qikan/Article/Detail?id=1003429619.
[22] 张瑾, 王剑. 龙芯3A处理器封装的散热设计. 计算机工程与科学[J]. 2009, 31(A01): 120-124, http://lib.cqvip.com/Qikan/Article/Detail?id=32021574.
[23] Hu Weiwu, Liu Qi, Wang Jian, Cai Songsong, Su Menghao, Li Xiaoyu, IEEE. Efficient Binary Translation System with Low Hardware Cost. 2009 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGNnull. 2009, 305-312, [24] 张瑾, 王剑. 基于龙芯2F处理器的硬件验证平台的设计与实现. 计算机工程与科学[J]. 2009, 31(A01): 270-275, http://lib.cqvip.com/Qikan/Article/Detail?id=32021617.
[25] Hu, Weiwu, Wang, Jian, Gao, Xiang, Chen, Yunji, Liu, Qi, Li, Guojie. GODSON-3: A SCALABLE MULTICORE RISC PROCESSOR WITH X86 EMULATION. IEEE MICRO[J]. 2009, 29(2): 17-29, https://www.webofscience.com/wos/woscc/full-record/WOS:000264804100004.
[26] 蔡嵩松, 刘奇, 王剑, 刘金刚. 基于龙芯处理器的二进制翻译器优化. 计算机工程[J]. 2009, 35(7): 280-282, http://lib.cqvip.com/Qikan/Article/Detail?id=30046020.
[27] Hu, WeiWu, Wang, Jian. Making effective decisions in computer architects' real-world: Lessons and experiences with Godson-2 processor designs. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2008, 23(4): 620-632, http://lib.cqvip.com/Qikan/Article/Detail?id=27587548.
[28] 胡伟武, 王剑. Making Effective Decisions in Computer Architects' Real-World: Lessons and Experiences with Godson-2 Processor Designs. 计算机科学技术学报:英文版[J]. 2008, 23(4): 620-632, http://lib.cqvip.com/Qikan/Article/Detail?id=27587548.
[29] 郇丹丹, 李祖松, 王剑, 章隆兵, 胡伟武, 刘志勇. 快速地址计算的自适应栈高速缓存. 计算机研究与发展[J]. 2007, 44(1): 169-176, http://lib.cqvip.com/Qikan/Article/Detail?id=24115201.
[30] 伍鸣, 张福新, 林伟, 许先超, 袁楠, 王剑. 龙芯2号处理器系统优化关键技术. 计算机研究与发展[J]. 2006, 43(6): 980-986, http://lib.cqvip.com/Qikan/Article/Detail?id=22033333.
[31] 庄泗华, 王剑, 张福新. 检测Linux下的VFS型内核后门软件. 计算机应用研究[J]. 2005, 22(5): 194-196,213, http://lib.cqvip.com/Qikan/Article/Detail?id=15482501.

科研活动

   
科研项目
( 1 ) 40Gbps 高速串行接口控制器关键技术研究, 参与, 国家级, 2013-01--2015-12
( 2 ) 易编程的异构并行处理器结构, 参与, 国家级, 2015-01--2019-12
( 3 ) 龙芯CPU新一代微架构研究, 主持, 市地级, 2016-05--2018-12
( 4 ) 基于龙芯CPU的网络处理芯片, 主持, 部委级, 2017-01--2019-12