个人简介

教育背景 2001年7月毕业于郑州大学计算机科学与技术系 学士学位 2004年7月毕业于华中科技大学计算机学院 硕士学位 2009年毕业于中国科学院计算机研究所 博士学位 任职经历 2009.7-2014.7 中国科学院计算技术研究所微处理器研究中心 验证组长 2014.7至今 龙心中科技术有限公司 芯片研发部 验证组长

研究领域

芯片验证 微处理器指令验证 SOC验证 硬件加速器、FPGA验证

主持、参与项目 组织参与龙心1号系列芯片1H、1J等；龙心2号系列芯片龙心2F、2J、2K1000等；龙心3号系列芯片龙心3A1000、3A2000、3A3000、3A4000芯片的验证工作，所有芯片流片成功

近期论文

查看导师新发文章 （温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

片上多核处理器存储一致性验证 王朋宇 陈云霁 沈海华 软件学报 2010 使用支持向量机的微处理器验证向量优化方法 王朋宇 郭崎 高技术通讯 2010 基于遗传算法的全芯片级覆盖率驱动随机验证技术 沈海华 王朋宇 魏文卫 计算机研究与发展 2009 嵌入式处理器在片调试功能的验证 徐彤 王朋宇 黄海林 计算机辅助设计与图形学学报 2007 嵌入式Linux系统BSP的设计与实现 阳富民 王朋宇 涂刚 计算机工程与科学 2005 Fast complete memory consistency verification Yunji Chen Yi Lv Weiwu Hu H shen Pengyu Wang HPCA 2009 Designing an Effective Constraint Solver in Coverage Directed Test Generation HaiHua Shen PengYu Wang YunJi Chen ICESS.2009 A Coverage Directed Test Generation Platform for Microprocessors Using Genetic Approach HaiHua Shen PengYu Wang WenLi Wei Journal Computer Research &Development