• 姓名: 沈海华
  • 性别: 
  • 职务: 
  • 职称: 副研究员
  • 学历: 博士
  • 通讯地址: 
  • 电话: 
  • 邮政编码: 
  • 传真: 
  • 电子邮件: 
    研究领域:
  • 计算机体系结构、微处理器设计与验证
    简历:
  • 沈海华,女,浙江杭州人。中科院计算所副研究员,研究生导师。 2002年6月 清华大学计算机系计算机体系结构专业毕业, 获博士学位。 2002年7月~2005年10月 中科院计算所微处理器研究中心助理研究员。 2005年11月~至今 中科院计算所微处理器研究中心副研究员。 长期从事计算机体系结构、微处理器设计与验证工作,骨干参加了全部龙芯国家级工程科研项目,为龙芯验证组主要创建者之一,现任龙芯验证测试组指导员。
    代表性论文:
  • 近期发表学术论文: 1. 陈博文,郭崎,沈海华,“浮点乘加部件的自动化形式验证”,《计算机研究与发展》,2010.6 Vol.47(Suppl.) pp.262-267 2. 钱诚,沈海华,陈天石,刘道福:“超大规模集成电路可调试性设计综述”,《计算机研究与发展》,2010 已录用 3. 刘奇,郝守青,沈海华,章隆兵,“一种基于RAM的降低异构多核切换开销的方法”,《计算机研究与发展》,2010.9 4. 沈海华、王朋宇、卫文丽,郭崎,“基于遗传算法的全芯片级覆盖率驱动随机验证平台设计与实现”,《计算机研究与发展》,2009 Vol.46 No.10 pp.1612-1623 5. 沈海华、卫文丽、陈云霁,“覆盖率驱动的随机测试生成技术综述”,《计算机辅助设计与图形学学报》,2009 Vol. 21 No.4 pp.419-431. 6. 王朋宇、陈云霁、沈海华,陈天石,张珩,“片上多核处理器存储一致性验证”,《软件学报》,2009 7. 蔡飞,沈海华,高翔,“龙芯2号原型系统北桥的设计与实现”,《高技术通讯》,2009 Vol. 20 No.1 pp.61 -67,2010 8. 王朋宇 ,郭崎,沈海华,陈云霁,张珩,“基于支持向量机和功能覆盖率的验证向量优化”,《高技术通讯》,《高技术通讯》,Vol. 20 No.1 pp.68 -74,2010 9. 陈云霁、张健、沈海华、胡伟武,“一种基于SAT的运算电路查错方法”,《计算机学报》,Vol. 30 No.12, 2007,12. 10. 陈云霁,沈海华,胡伟武,“龙芯2号浮点除法功能部件形式验证”,《计算机研究与发展》,2006 Vol.43 No.10:pp.1835-1841 11. 张珩,沈海华,“龙芯-2微处理器的功能验证”,《计算机研究与发展》,2006 Vol.43, No.6 12. Qi Guo, Tianshi Chen, Haihua Shen, Yunji Chen, Yue Wu, Weiwu Hu. "Empirical Design Bugs Prediction for Verification". accepted by IEEE/ACM Design Automation, and Test in Europe(DATE), 2011 13. Bowen Chen, Haihua Shen,Wenhui Zhang.“Formula-Oriented Compositional Minimization in Model Checking”, In Proc. 19th IEEE Asian Test Symposium (ATS), 2010 14. Qi Guo, Tianshi Chen, Haihua Shen, Yunji Chen, Weiwu Hu. “On-the-fly Reduction of Stimuli for Functional Verification”. In Proc. 19th IEEE Asian Test Symposium (ATS), 2010, p448-454. 15. Qi Guo, Tianshi Chen, Haihua Shen, Yunji Chen. "Estimating design quality of digital systems via machine learning", In Proc. 17th IEEE International Conference on Electronics, Circuits, and Systems (ICECS), 2010, p629-632. 16. Haihua Shen, Pengyu Wang, Yunji Chen, Qi Guo, Heng Zhang, “Designing an Effective Constraint Solver in Coverage Directed Test Generation”, The 6th IEEE International Conference on Embedded Software and Systems(ICESS),2009 17. Yunji Chen, Yi Lv, Weiwu Hu , Tianshi Chen, Haihua Shen, Pengyu Wang, Hong Pan,“Fast Complete Memory Consistency Verification”, International Symposium on High-Performance Computer Architecture,(HPCA),2009 18. Haihua Shen, Wenli Wei, Yunji Chen, Bowen Chen, Qi Guo, “Coverage Directed Test Generation: Godson Experience”, 17th Asian Test Symposium (ATS’08), Japan, Nov, 2008 19. Haihua Shen, Heng Zhang, “An Accurate Analysis of Microprocessor Design Verification”, 16th Asian Test Symposium (ATS’07), Beijing,Oct, 2007 20. Pengyu Weng, Haihua Shen, “An Efficient Instruction Level Functional Verification of Processor Core with JTAG”, Proc. of International Symposium on Information and Computer Elements(ISICE 2007), Japan, Sept,2007 21. Ge Zhang, Kun Huang, Haihua Shen, Feng Zhang,” Low Power Techniques on a High Speed Floating-point Adder Design”,IEEE International Conference on Integration Technology, (ICIT 2007),March 2007 Page(s):241 - 244 22. Haihua Shen, Hengzhang, Tong Xu."Verification of a Configurable Processor Core for System-on-a-Chip Designs",the 6th INTERNATIONAL CONFERENCE ON ASIC, 2005. 23. Haihua Shen, Zhaojun Wang."Functional Verification of Microprocessors: a hierarchical ISS/RTL Co-simulation Solution",the 6th International Conference on System Simulation and Scientific Computing (ICSC2005), 2005. 24. Haihua Shen, Lin Ma, Heng Zhang. "CRPG: A Configurable Random Test-Program Generator for Microprocessors", Proceedings of 2005 IEEE International Symposium on Circuits and Systems (ISCAS2005). 2005, Japan 译著:《全面的功能验证:完整的工业流程》 机械工业出版社
    获得荣誉:
  • 2006 计算机学会王选奖一等奖(集体奖) 2010 中科院计算所所长奖教金
    承担项目:
  • 作为项目负责人承担的研究型项目: 2012~2015 国家自然科学基金面上:片上多核处理器硅后验证关键技术研究(61173001)58万元 项目负责人 2011~2012 国家自然科学基金委主任基金:验证片上多核处理器:技术、工具及方法研究(61050002) 30万元 项目负责人 2007~2009 国家自然科学基金青年基金:采用形式化引擎加速处理器仿真验证收敛的关键技术研究(60603049) 24万元 项目负责人 已结题,评审结论为优秀; 2007~2009 国家863项目:片上多处理器设计一体化验证平台研究(2007AA01Z112) 94万元项目负责人 已结题,评审结论为圆满完成; 2007~2009 北京市自然科学基金:一种创新的同时多个微线程处理器关键技术研究(4072024) 13万元 项目负责人 2003~2004 中科院计算所基础研究基金:基于多线程处理器的功能验证研究(20036240)5万元 项目负责人 骨干参加的龙芯国家级大型工程科研项目: 2009.01-2012.6,核高基重大专项“高性能多核CPU研发与应用”,参加 2008.01-2010.12,国家863重点项目“四核龙芯通用CPU研制”,参加 2005.12-2010.12,国家973课题“可扩展、可重构片上并行体系结构与原型芯片设计(2005CB321601)”,参加 2006.12-2009.11,国家863计划重点课题“低成本先进计算机单机”,参加 2005.5-2005.12,国家863项目“龙芯2号增强型处理器芯片设计”,参加 2002.10-2004.6,国家863重点项目“高性能通用CPU芯片全定制实现及系统集成”,参加 2002.1-2004.12,中国科学院知识创新工程重大项目“高性能通用CPU芯片研制”,参加