基本信息

王剑 男 博导 计算技术研究所
电子邮件:jw@ict.ac.cn
通信地址:北京市海淀区中关村科学院南路6号
邮政编码:100190
电子邮件:jw@ict.ac.cn
通信地址:北京市海淀区中关村科学院南路6号
邮政编码:100190
研究领域
微处理器结构设计、验证技术研究,操作系统等系统软件优化技术研究
招生信息
招生专业
081201-计算机系统结构085211-计算机技术
招生方向
微处理器设计、验证
操作系统、虚拟机
操作系统、虚拟机
教育背景
2002-09--2008-06 中国科学院计算技术研究所 工学博士
1994-09--1997-06 中国科学院计算技术研究所 工学硕士
1989-09--1994-06 中国科学技术大学计算机科学与技术系 工学学士
1994-09--1997-06 中国科学院计算技术研究所 工学硕士
1989-09--1994-06 中国科学技术大学计算机科学与技术系 工学学士
学历
-- 研究生
学位
-- 博士
工作经历
工作简历
1997-07--今 中国科学院计算技术研究所 研究实习员、助理研究员、副研究员、正高级工程师
教授课程
汇编语言
专利与奖励
奖励信息
(1) 中国计算机学会王选奖,一等奖,其他级,2006
(2) 中国科学院杰出科技成就奖,部委级,2003
(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, Ye, Jinpeng, Zhang, Fuxin, Liu, Tianyi, Zhang, Tingting, Wang, Jian. CUTE: A scalable CPU-centric and Ultra-utilized Tensor Engine for convolutions. JOURNAL OF SYSTEMS ARCHITECTURE[J]. 2024, 第 6 作者 通讯作者 149: http://dx.doi.org/10.1016/j.sysarc.2024.103106.[2] Zheng, Yawen, Han, Chenji, Zhang, Tingting, Zhang, Fuxin, Wang, Jian. A dependence graph pattern mining method for processor performance analysis. PERFORMANCE EVALUATION[J]. 2024, 第 5 作者 通讯作者 164: http://dx.doi.org/10.1016/j.peva.2024.102409.[3] 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, 第 11 作者136: http://dx.doi.org/10.1016/j.sysarc.2023.102822.[4] 李文青, 齐寒, 肖子原, 朱威浦, 王剑. ������������������������������. 高技术通讯. 2023, 第 5 作者33(2): 113-123, http://lib.cqvip.com/Qikan/Article/Detail?id=7109588493.[5] 李亚伟, 章隆兵, 张福新, 王剑. ������������������������������������������������������. 计算机学报[J]. 2023, 第 4 作者46(1): 180-201, http://lib.cqvip.com/Qikan/Article/Detail?id=7108684301.[6] 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, 第 6 作者 通讯作者 136: http://dx.doi.org/10.1016/j.sysarc.2023.102822.[7] 李文青, 齐寒, 肖子原, 朱威浦, 王剑. 紧耦合异构线程处理器. 高技术通讯. 2023, 第 5 作者33(2): 113-123, http://lib.cqvip.com/Qikan/Article/Detail?id=7109588493.[8] 李亚伟, 章隆兵, 张福新, 王剑. 基于软硬协同的程序运行时安全保护机制. 计算机学报[J]. 2023, 第 4 作者46(1): 180-201, http://lib.cqvip.com/Qikan/Article/Detail?id=7108684301.[9] 张志超, 王剑, 章隆兵, 肖俊华. ���������������������������������������������������. 高技术通讯[J]. 2022, 第 2 作者32(3): 227-238, http://lib.cqvip.com/Qikan/Article/Detail?id=7107081746.[10] 张志超, 王剑, 章隆兵, 肖俊华. ������������������������������������������������������������. 高技术通讯[J]. 2022, 第 2 作者[11] 郑雅文, 吴瑞阳, 陈天奇, 汪文祥, 章隆兵, 王剑. ������������������������������FPGA������������������������. 高技术通讯. 2022, 第 6 作者32(5): 462-470, https://d.wanfangdata.com.cn/periodical/gjstx98202205003.[12] 张志超, 王剑, 章隆兵, 肖俊华. ������FPGA������������������������������������������������. 高技术通讯. 2022, 第 2 作者32(5): 441-453, https://d.wanfangdata.com.cn/periodical/gjstx98202205001.[13] 张志超, 王剑, 章隆兵, 肖俊华. 面向目标检测的卷积神经网络优化方法. 高技术通讯[J]. 2022, 第 2 作者32(3): 227-238, http://lib.cqvip.com/Qikan/Article/Detail?id=7107081746.[14] 张志超, 王剑, 章隆兵, 肖俊华. 基于软硬件协同加速的关系网络推理优化方法. 高技术通讯[J]. 2022, 第 2 作者[15] 郑雅文, 吴瑞阳, 陈天奇, 汪文祥, 章隆兵, 王剑. 分离真伪时钟的处理器FPGA原型性能校准方法. 高技术通讯. 2022, 第 6 作者32(5): 462-470, https://d.wanfangdata.com.cn/periodical/gjstx98202205003.[16] 张志超, 王剑, 章隆兵, 肖俊华. 基于FPGA的浮点可分离卷积神经网络加速方法. 高技术通讯. 2022, 第 2 作者32(5): 441-453, https://d.wanfangdata.com.cn/periodical/gjstx98202205001.[17] 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, 第 5 作者42(3): 54-59, http://lib.cqvip.com/Qikan/Article/Detail?id=7104115304.[18] Yang Liqiong, Wang Linfeng, Xiao Junhua, Zhang Longbing, Wang Jian. A 1.2 V, 3.1% 3σ-accuracy thermal sensor analog front-end circuit in 12 nm CMOS process. Journal of Semiconductors[J]. 2021, 第 5 作者42(3): 1-6, https://doi.org/10.1088/1674-4926/42/3/032401.[19] 朱琛, 王剑, 高翔, 毛碧波, 李星. ������KVM���������I/O������������������������. 高技术通讯[J]. 2020, 第 2 作者30(9): 893-900, http://lib.cqvip.com/Qikan/Article/Detail?id=7102963587.[20] 李文青, 吴畏, 章隆兵, 肖俊华, 王剑. ���������������������������������������������������. 高技术通讯[J]. 2020, 第 5 作者30(7): 655-665, https://kns.cnki.net/KCMS/detail/detail.aspx?dbcode=CJFQ&dbname=CJFDLAST2020&filename=GJSX202007002&v=MTA5NTkxRnJDVVI3cWVaK1J2RmluaFdyM09JaWZZZHJHNEhOSE1xSTlGWm9SOGVYMUx1eFlTN0RoMVQzcVRyV00=.[21] 朱琛, 王剑, 高翔, 毛碧波, 李星. 龙芯KVM虚拟机I/O中断子系统的优化. 高技术通讯[J]. 2020, 第 2 作者30(9): 893-900, http://lib.cqvip.com/Qikan/Article/Detail?id=7102963587.[22] 李文青, 吴畏, 章隆兵, 肖俊华, 王剑. 处理器访存子系统关键队列的性能建模. 高技术通讯[J]. 2020, 第 5 作者30(7): 655-665, https://kns.cnki.net/KCMS/detail/detail.aspx?dbcode=CJFQ&dbname=CJFDLAST2020&filename=GJSX202007002&v=MTA5NTkxRnJDVVI3cWVaK1J2RmluaFdyM09JaWZZZHJHNEhOSE1xSTlGWm9SOGVYMUx1eFlTN0RoMVQzcVRyV00=.[23] 李鹏, 王剑, 曾露, 王焕东. ������������������������������������������������. 高技术通讯[J]. 2019, 第 2 作者29(5): 423-431, http://lib.cqvip.com/Qikan/Article/Detail?id=7002068736.[24] 李鹏, 王剑, 曾露, 王焕东. 多核片上系统主控式内存控制器预取. 高技术通讯[J]. 2019, 第 2 作者29(5): 423-431, http://lib.cqvip.com/Qikan/Article/Detail?id=7002068736.[25] 刘臻, 王剑, 赵鹏飞, 丁健平. ���������������������������������������������������. 高技术通讯[J]. 2017, 第 2 作者27(5): 389-397, http://lib.cqvip.com/Qikan/Article/Detail?id=673091335.[26] 章隆兵, 李磊, 肖俊华, 贺晓, 王剑. ������������������������������������������������. 高技术通讯[J]. 2017, 第 5 作者27(6): 487-494, http://lib.cqvip.com/Qikan/Article/Detail?id=673376212.[27] 刘臻, 王剑, 王昊. ���������������������������������������������������. 高技术通讯[J]. 2017, 第 2 作者27(1): 38-45, http://lib.cqvip.com/Qikan/Article/Detail?id=672081925.[28] 王昊, 刘臻, 王剑, 章隆兵. ������������������������������������������������������. 高技术通讯[J]. 2017, 第 3 作者27(1): 1-8, http://lib.cqvip.com/Qikan/Article/Detail?id=672081921.[29] 刘臻, 王剑, 赵鹏飞, 丁健平. 稀疏队列中的动态发射机制及电路实现. 高技术通讯[J]. 2017, 第 2 作者27(5): 389-397, http://lib.cqvip.com/Qikan/Article/Detail?id=673091335.[30] 章隆兵, 李磊, 肖俊华, 贺晓, 王剑. 一种基于硬件的快速确定性重放方法. 高技术通讯[J]. 2017, 第 5 作者27(6): 487-494, http://lib.cqvip.com/Qikan/Article/Detail?id=673376212.[31] 刘臻, 王剑, 王昊. 一种同步输出的稀疏树前导零检测电路. 高技术通讯[J]. 2017, 第 2 作者27(1): 38-45, http://lib.cqvip.com/Qikan/Article/Detail?id=672081925.[32] 王昊, 刘臻, 王剑, 章隆兵. 基于蒙特卡洛方法的触发器聚类布局算法. 高技术通讯[J]. 2017, 第 3 作者27(1): 1-8, http://lib.cqvip.com/Qikan/Article/Detail?id=672081921.[33] 傅杰, 靳国杰, 章隆兵, 王剑. ���������������������������������������������������������. 高技术通讯[J]. 2016, 第 4 作者26(3): 226-234, http://lib.cqvip.com/Qikan/Article/Detail?id=669494165.[34] 傅杰, 靳国杰, 章隆兵, 王剑. 基于软硬件协同设计的解释器指令分派方法. 高技术通讯[J]. 2016, 第 4 作者26(3): 226-234, http://lib.cqvip.com/Qikan/Article/Detail?id=669494165.[35] 廖彬, 傅杰, 靳国杰, 王一光, 王磊, 章隆兵, 王剑. NUMA������������������������������������������������. 高技术通讯[J]. 2015, 第 7 作者125-134, http://lib.cqvip.com/Qikan/Article/Detail?id=664727164.[36] 王磊, 陆超, 章隆兵, 王剑. ������������������������������������������������������������. 高技术通讯[J]. 2015, 第 4 作者567-574, http://lib.cqvip.com/Qikan/Article/Detail?id=666426464.[37] 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 2015. 2015, 第 6 作者9231: 45-59, [38] 廖彬, 傅杰, 靳国杰, 王一光, 王磊, 章隆兵, 王剑. NUMA结构的高效实时稳定的垃圾回收算法. 高技术通讯[J]. 2015, 第 7 作者125-134, http://lib.cqvip.com/Qikan/Article/Detail?id=664727164.[39] 王磊, 陆超, 章隆兵, 王剑. 基于神经网络预测模型的异构多核处理器调度. 高技术通讯[J]. 2015, 第 4 作者567-574, http://lib.cqvip.com/Qikan/Article/Detail?id=666426464.[40] 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 2015. 2015, 第 6 作者9231: 45-59, [41] 陈华才, 张福新, 王剑. CPUAutoplug������������������������������������������������������������. 小型微型计算机系统[J]. 2014, 第 3 作者35(11): 2586-2592, https://d.wanfangdata.com.cn/periodical/xxwxjsjxt201411041.[42] 陈华才, 2, 张福新, 2, 王剑. CPUAutoplug:动态变频与自动调核相结合的电源管理方法. 小型微型计算机系统[J]. 2014, 第 5 作者35(11): 2586-2592, http://xwxt.sict.ac.cn/CN/Y2014/V35/I11/2586.[43] 敖琪, 蔡嵩松, 王剑. ������������cache������������Java������������������������������. 计算机研究与发展[J]. 2012, 第 3 作者185-190, http://lib.cqvip.com/Qikan/Article/Detail?id=1003429619.[44] 敖琪, 蔡嵩松, 王剑. 基于硬件cache锁机制的Java虚拟机即时编译器优化. 计算机研究与发展[J]. 2012, 第 3 作者185-190, http://lib.cqvip.com/Qikan/Article/Detail?id=1003429619.[45] 张瑾, 王剑. ������3A������������������������������. 计算机工程与科学[J]. 2009, 第 2 作者31(A01): 120-124, http://lib.cqvip.com/Qikan/Article/Detail?id=32021574.[46] 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 DESIGN. 2009, 第 3 作者305-312, [47] 张瑾, 王剑. ������������2F������������������������������������������������. 计算机工程与科学[J]. 2009, 第 2 作者31(A01): 270-275, http://lib.cqvip.com/Qikan/Article/Detail?id=32021617.[48] 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, 第 2 作者29(2): 17-29, https://www.webofscience.com/wos/woscc/full-record/WOS:000264804100004.[49] 蔡嵩松, 刘奇, 王剑, 刘金刚. ������������������������������������������������. 计算机工程[J]. 2009, 第 3 作者35(7): 280-282, http://lib.cqvip.com/Qikan/Article/Detail?id=30046020.[50] 张瑾, 王剑. 龙芯3A处理器封装的散热设计. 计算机工程与科学[J]. 2009, 第 2 作者31(A01): 120-124, http://lib.cqvip.com/Qikan/Article/Detail?id=32021574.[51] 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 DESIGN. 2009, 第 3 作者305-312, [52] 张瑾, 王剑. 基于龙芯2F处理器的硬件验证平台的设计与实现. 计算机工程与科学[J]. 2009, 第 2 作者31(A01): 270-275, http://lib.cqvip.com/Qikan/Article/Detail?id=32021617.[53] 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, 第 2 作者29(2): 17-29, https://www.webofscience.com/wos/woscc/full-record/WOS:000264804100004.[54] 蔡嵩松, 刘奇, 王剑, 刘金刚. 基于龙芯处理器的二进制翻译器优化. 计算机工程[J]. 2009, 第 3 作者35(7): 280-282, http://lib.cqvip.com/Qikan/Article/Detail?id=30046020.[55] 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, 第 2 作者23(4): 620-632, http://lib.cqvip.com/Qikan/Article/Detail?id=27587548.[56] 胡伟武, 王剑. Making Effective Decisions in Computer Architects��� Real-World: Lessons and Experiences with Godson-2 Processor Designs. 计算机科学技术学报:英文版[J]. 2008, 第 2 作者23(4): 620-632, http://lib.cqvip.com/Qikan/Article/Detail?id=27587548.[57] 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, 第 2 作者23(4): 620-632, http://lib.cqvip.com/Qikan/Article/Detail?id=27587548.[58] 胡伟武, 王剑. Making Effective Decisions in Computer Architects' Real-World: Lessons and Experiences with Godson-2 Processor Designs. 计算机科学技术学报:英文版[J]. 2008, 第 2 作者23(4): 620-632, http://lib.cqvip.com/Qikan/Article/Detail?id=27587548.[59] 郇丹丹, 李祖松, 王剑, 章隆兵, 胡伟武, 刘志勇. ���������������������������������������������. 计算机研究与发展[J]. 2007, 第 3 作者44(1): 169-176, http://lib.cqvip.com/Qikan/Article/Detail?id=24115201.[60] 郇丹丹, 李祖松, 王剑, 章隆兵, 胡伟武, 刘志勇. 快速地址计算的自适应栈高速缓存. 计算机研究与发展[J]. 2007, 第 3 作者44(1): 169-176, http://lib.cqvip.com/Qikan/Article/Detail?id=24115201.[61] 伍鸣, 张福新, 林伟, 许先超, 袁楠, 王剑. ������2������������������������������������. 计算机研究与发展[J]. 2006, 第 6 作者43(6): 980-986, http://lib.cqvip.com/Qikan/Article/Detail?id=22033333.[62] 伍鸣, 张福新, 林伟, 许先超, 袁楠, 王剑. 龙芯2号处理器系统优化关键技术. 计算机研究与发展[J]. 2006, 第 6 作者43(6): 980-986, http://lib.cqvip.com/Qikan/Article/Detail?id=22033333.[63] 庄泗华, 王剑, 张福新. ������Linux������VFS���������������������. 计算机应用研究[J]. 2005, 第 2 作者22(5): 194-196,213, http://lib.cqvip.com/Qikan/Article/Detail?id=15482501.[64] 庄泗华, 王剑, 张福新. 检测Linux下的VFS型内核后门软件. 计算机应用研究[J]. 2005, 第 2 作者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