基本信息

沈海华  女   中国科学院大学  
电子邮件:shenhh@ucas.ac.cn  
联系电话:  
手机号码:  
通信地址:中国科学院大学计算机与控制学院  
邮政编码:101408  

女,浙江杭州人。中科院大学副教授,历任中国科学院计算技术研究所副研究员,龙芯中科技术有限公司副总工程师。CCF高级会员,IEEE、ACM Member。

研究领域

计算机体系结构
集成电路设计
集成电路验证
芯片安全
非易失性存储器设计
移动互联网低功耗设计
智能硬件设计
大数据处理


招生信息

计算机、电子工程及相关专业欢迎报考

招生专业
081201-计算机系统结构
081203-计算机应用技术

教育背景

   
学位

清华大学计算机系计算机系统结构专业 博士毕业(2002)

工作经历

2013~至今 中国科学院大学计算机与控制学院 副教授
2005~2013 中国科学院计算技术研究所 副研究员
龙芯中科技术有限公司 副总工程师 
2002~2005 中国科学院计算技术研究所 助理研究员 

教授课程

集成电路设计与验证
高级计算机系统结构
计算机体系结构
计算机体系结构讨论课
集成电路验证
本科生课程
数据结构

专利与奖励

专利与奖励申请发明专利20余项,软件著作权5项,其中ZL**1.6入选2010年百件优秀中国专利。
部分授权专利:
1.沈海华,王朋宇,胡伟武,一种在指令级随机测试中支持EJTAG测试的实现方法,授权专利号:ZL**5.7
2.沈海华,胡伟武,在微处理器用户态随机验证中实现核心态程序验证的方法,授权专利号:ZL**6.9
3.张珩,沈海华,一种支持随机指令测试的微处理器FPGA验证装置,授权专利号:ZL**40 
4.王朋宇,沈海华,陈云霁,一种微处理器验证中快速换页的装置和方法,授权专利号:ZL**6.8
5.郭崎,沈海华,王玲,微处理器浮点单元的随机验证方法及系统,授权专利号:ZL**1.6 (入选2010年百件优秀中国专利)
6.沈海华,王朋宇,张珩,一种用于指令级随机验证的指令组合过滤方法及系统,授权专利号:ZL**7.3
7.蔡飞,沈海华,一种不同速度总线间读传送的控制方法及系统,授权专利号:ZL**8.3
8.郭崎,沈海华,王朋宇,验证向量的优化方法及装置,授权专利号:ZL**3.6
9.郭崎,沈海华,卫文丽,覆盖率驱动随机验证集成电路的方法及系统,授权专利号:ZL**6.5 
10.陈博文,沈海华,用于验证电路的模型检测中的模型抽象方法及其系统,授权专利号:ZL**0.3 
11.王玲,沈海华,李潮激,随机测试程序生成方法和系统以及设计验证方法,授权专利号:ZL**7.4
12.沈海华,黄静,王朋宇,一种用于制造后处理器芯片验证的随机验证方法及装置,授权专利号:ZL**5.8
13.王朋宇,陈云霁,沈海华,胡伟武,一种微处理器指令级随机验证中加速取指的装置和方法,授权专利号:ZL**0.3 

奖励信息
(1) 中科院计算所优秀研究人员,研究所(学校)级,2012
(2) 中科院计算所所长奖教金,研究所(学校)级,2010
(3) CCF王选奖,一等奖,专项级,2006

出版信息

发表/合作发表学术论文40余篇(包括HPCA、DATE等领域知名国际会议及期刊等),出版专著一部、译著一部。

科研活动

主持的科研项目:

高校项目 智能移动通信终端功耗检测及benchmark自动生成方法研究 项目负责人 2015~2017

研究所级项目 智能移动通信设备功耗分析及自适应功耗管理策略研究 项目负责人 2014~2016

国家自然科学基金面上项目 片上多核处理器硅后验证关键技术研究(61173001)项目负责人2012~2015

国家自然科学基金委主任基金项目 验证片上多核处理器:技术、工具及方法研究(61050002) 项目负责人2011~2012

国家自然科学基金青年基金项目 采用形式化引擎加速处理器仿真验证收敛的关键技术研究(60603049) 项目负责人2007~2009

国家863项目 片上多处理器设计一体化验证平台研究(2007AA01Z112)项目负责人2007~2009

北京市自然科学基金项目 一种创新的同时多个微线程处理器关键技术研究(4705024) 项目负责人2007~2009

中科院计算所基础研究基金项目   项目负责人 2003~2005(作为龙芯公司副总工程师、主要技术负责人)


骨干参加的科研项目:
核高基重大专项“高性能多核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

合作情况

   
项目协作单位

以下排名不分先后:

中科院计算所
中科院软件所
中科院微电子所

中科院半导体所
清华大学
北京航空航天大学
中国联通研究院
美国华盛顿大学
ARM
AMD
VMware
腾讯科技

研究生指导情况

已毕业研究生: 

2007 张译夫 计算机系统结构 2008 王利 计算机应用技术 荆华 计算机系统结构 王玲 计算机系统结构 2009 李昊 计算机系统结构 张尧 计算机系统结构 2010 刘道福 计算机系统结构 张洁 计算机系统结构 2011 范振亚 计算机系统结构 2012 敖丹丹 计算机技术 黄启印 计算机软件与理论 2013 杨雄冰 计算机系统结构 

在读研究生: 

2014 刘天义 计算机系统结构 赵跃辉 计算机应用技术 2015 谭华哲 计算机应用技术 2016 赵薇 计算机应用技术