学位/职称

博士

办公室电话

010-62546668-5012

Email

wangpengyu@loongson.cn

教育背景

2001年7月毕业于郑州大学计算机科学与技术系 学士学位

2004年7月毕业于华中科技大学计算机学院     硕士学位

2009年毕业于中国科学院计算机研究所         博士学位

研究方向

芯片验证

微处理器指令验证

SOC验证

硬件加速器、FPGA验证

任职经历

2009.7-2014.7 中国科学院计算技术研究所微处理器研究中心 验证组长

2014.7至今   龙心中科技术有限公司 芯片研发部   验证组长

获得荣誉、奖项

20008年计算所所长优秀奖

主持、参与项目

组织参与龙心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