个人简介
招生专业
081201-计算机系统结构
081203-计算机应用技术
学位
清华大学计算机系计算机系统结构专业 博士毕业(2002)
工作经历
2013~至今 中国科学院大学计算机科学与技术学院 副教授、教授
2002~2013 龙芯中科技术有限公司 副总工程师
中国科学院计算技术研究所 副研究员
教授课程
集成电路设计与验证
高级计算机系统结构
计算机体系结构
计算机体系结构讨论课
集成电路验证
本科生课程
数据结构
专利与奖励
获奖情况:
中国科学院大学教育教学成果奖二等奖(2020)
中国科学院大学校级研究生优秀课程(2019)
中国产学研合作创新成果奖二等奖(2019)
中国电子学会科学技术奖二等奖(2018)
北京市科学技术奖二等奖(2017)
中国科学院教育教学成果奖二等奖(2017)
中国科学院朱李月华优秀教师奖(2017)
中国科学院大学校级优秀个人(2017)
中科院计算所优秀科研人员奖(2012、2013)
中科院计算所所长奖教金(2010)
百件优秀中国专利奖(2010)
龙芯之星先进个人(2007)
CCF王选奖一等奖(2006,集体奖)
申请发明专利20余项,软件著作权5项,其中ZL**1.6入选百件优秀中国专利。
著作:
《集成电路验证》 科学出版社
《低功耗集成电路》 科学出版社
主持的部分科研项目:
科研先导C子课题 芯片安全检测及优化工具 项目负责人 2020~2022
国家级项目 XXX系统设计开发 项目负责人 2019~2022
核高基子课题 超级计算机处理器基础电路器件测试 项目负责人 2018~2020
国家级项目 XXX器件检测与评价技术研究 项目联合负责人 2017~2019
高校项目 智能移动通信终端功耗检测及benchmark自动生成方法研究 项目负责人 2015~2017
研究所项目 智能移动通信设备功耗分析及自适应功耗管理策略研究 项目负责人 2014~2016
国家自然科学基金项目 片上多核处理器硅后验证关键技术研究(61173001)项目负责人2012~2015
国家自然科学基金项目 验证片上多核处理器:技术、工具及方法研究(61050002) 项目负责人2011~2012
国家自然科学基金项目 采用形式化引擎加速处理器仿真验证收敛的关键技术研究(60603049) 项目负责人2007~2009
国家863项目 片上多处理器设计一体化验证平台研究(2007AA01Z112)项目负责人2007~2009
北京市自然科学基金项目 一种创新的同时多个微线程处理器关键技术研究(4705024) 项目负责人2007~2009
作为龙芯公司副总工程师、主要技术负责人骨干参加的部分科研项目:
核高基重大专项“高性能多核CPU研发与应用”,2009.01-2012.6
国家863重点项目“四核龙芯通用CPU研制”,2008.01-2010.12
国家973课题“可扩展、可重构片上并行体系结构与原型芯片设计(2005CB321601)”,2005.12-2010.12
国家863计划重点课题“低成本先进计算机单机”,2006.12-2009.11
国家863项目“龙芯2号增强型处理器芯片设计”,2005.5-2005.12
国家863重点项目“高性能通用CPU芯片全定制实现及系统集成”,2002.10-2004.6
中国科学院知识创新工程重大项目“高性能通用CPU芯片研制”,2002.1-2004.12
项目协作单位
以下排名不分先后:
中科院计算所
中科院软件所
中科院微电子所
中科院半导体所
清华大学
北京航空航天大学
西北工业大学
航天xxx所
香港中文大学
ARM
腾讯科技
研究领域
计算机体系结构
软硬件安全
AI安全
智能硬件设计
非易失存储器与类脑计算
近期论文
查看导师新发文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
1. Yiming Wang, Yun Li, Haihua Shen, Dongyu Fan, Wei Wang, Ling Li, Qi Liu, Feng Zhang, Xinghua Wang, Meng-fan Chang, Ming Liu,“A Few-Step and Low-Cost Memristor Logic based on MIG Logic for Frequent-Off Instant- On Circuits in IoT Applications”, IEEE Transactions on Circuits and Systems II: Express Briefs,DOI 10.1109/TCSII.2018.2882388 ,2018
2. Haihua Shen, Huazhe Tan, Huawei Li, Feng Zhang, Xiaowei Li, “LMDet: A “Naturalness” Statistical Method for Hardware Trojan Detection”, IEEE trans on VLSI. Vol.26,Issue4,720-732 (2018).
3. Yun Cheng, Huawei Li, Ying Wang, Haihua Shen, Bo Liu, and Xiaowei Li, “On Trace Buffer Reuse based Trigger Generation in Post Silicon Debug”, IEEE trans on Computer-Aided Design of Integrated Circuits and Systems. Vol.37, Issue10, 2166-2179 (2018)
4. Huazhe Tan, Wei Zhao, Haihua Shen, A context-perceptual privacy protection approach on Android devices, IEEE International Conference on Communications (ICC). 2018.
5. Wei Zhao, Haihua Shen, Huawei Li and Xiaowei Li,“Hardware Trojan Detection Based on Signal Correlation“,the 27th IEEE Asian Test Symposium (ATS), 2018
6. Haihua Shen, Yuehui Zhao. “HTChecker: Detecting Hardware Trojans based on Static Characteristics”, IEEE International Symposium on Circuits and Systems (ISCAS), 2017.