王伶俐
发表时间:2014-10-20 阅读次数:1522次

 

简介

    英国爱丁堡Napier大学博士,复旦大学微电子学院EDA研究所副所长,IEEE Shanghai Section Council on Electronic Design Automation(EDA)Chapter主席。博士毕业后在可编程芯片(FPGA)供应商Altera公司欧洲技术中心研发部工作4年多。2005年4月人才引进到复旦大学专用集成电路与系统国家重点实验室工作。共发表学术论文100余篇,其中被SCI/EI检索70余篇。拥有美国授权专利一项,中国发明专利授权五项、实用新型授权专利一项、计算机软件著作权一项。2010年至2013年担任“新型计算结构与产业技术创新战略联盟”首届专家委员会成员和863重点项目“新概念高性能计算机体系结构及系统研究开发”总体组专家。主要负责的项目资助来源于美国、加拿大、日本、瑞士公司或大学的国际合作,国家科技重大专项,国家自然科学基金面上项目和重点项目子课题,国家863计划重点项目,教育部留学回国人员基金,上海市浦江人才计划,上海市“科技创新行动计划”,上海市科委白玉兰人才基金和国内通信公司、研究所的横向合作等。主要研究领域包括数字集成电路设计、EDA算法、可重构系统和量子计算等。在海量图像识别或者视频匹配应用方面,经过863高性能计算机评测中心的第三方测试,相对于2012年IBM主流服务器X3650,在不同精度、帧聚合度的要求下达到平均220多倍的性能加速和效能提升,验证了可重构拟态计算机结构的优越性。所参与开发的世界首台拟态计算机被列入2013年中国十大科技进展新闻。

工作背景

    在可编程芯片供应商Altera公司欧洲技术中心研发部工作4年多, 从事于Quartus软件, Excalibur系列产品 (内嵌ARM微处理器和内存的可编程芯片), Nios通用嵌入式 RISC微处理器, 和HardCopy(从FPGA到 ASIC) Structured ASIC成套工具的研发与调试。熟悉硬件和软件以及 SoC/SOPC (System-On-a-Programmable-Chip) 系统的开发与应用。

    回国后主要从事FPGA软硬件系统的教学、研究和应用。承担大二的基础课程“计算机软件基础”,开设全英语教学的本科生“FPGA结构原理和应用”选修课程、硕士研究生课程“系统级可编程芯片设计”和博士研究生课程“可编程逻辑器件原理和CAD”与“数字集成电路设计中的高级综合技术”。同时参与了瑞典KTH和复旦大学联合研究生培养的“嵌入式系统”课程。

    在科研方面,主要负责的项目资助来源于美国、加拿大、日本、瑞士公司或大学的国际合作,国家科技重大专项,国家自然科学基金面上项目和重点项目子课题,国家863计划重点项目,教育部留学回国人员基金,上海市浦江人才计划,上海市“科技创新行动计划”,上海市科委白玉兰人才基金和国内公司的横向合作等。2008年11月至12月,作为Visiting Faculty在美国Cadence Research Lab at Berkeley进行基于LUT的工艺映射合作研究工作。2010年7月至8月,在荷兰TuDelft和瑞士EPFL两所大学从事新型可编程逻辑结构的国际合作研究。近几年开展的国际合作交流学者来源于UC Berkeley、UCLA、UCR、多伦多大学、Imperial College和澳大利亚的悉尼大学等。

 

主要项目

  1. 美国Synopsys公司,“FPGA芯片设计和软件系统”,负责FPGA软件系统的开发,2005.2 – 2007.2
  2. 智锐电子系统设计(上海)有限公司,“面向可重构计算的FPGA软件算法开发”,负责人,2006.10 – 2007.3
  3. 国家自然科学基金面上项目,“量子计算电路的设计和综合”, 负责人,2007.1-2009.12
  4. 教育部留学回国人员科研启动基金,“量子计算电路的设计和优化”, 负责人,2008.3
  5. 上海市浦江人才项目,“抗辐射FPGA硬件电路与软件优化算法研究”, 负责人,2008.9-2010.9
  6. 上海市“科技创新行动计划”集成电路设计专项,“国产自主知识产权FPGA的产业化应用和深入研发”, 负责FPGA软件系统的开发,2008.10-2010.9
  7. Sino-Swiss Science and Technology Cooperation 2008-2011(中瑞科技合作计划),“Programmability Implementation Using Plasmonics Based on the MBQC Framework”,2009.8 – 2010.9
  8. Canada-China Scientific and Technological Cooperation(中国国际人才交流协会和加拿大科学技术合作中心),Organization of International Workshop on Emerging Circuits and Systems, 2009.8-2011.8
  9. “核高基”国家科技重大专项项目,“嵌入式可编程逻辑阵列IP核”, 软件子课题负责人, 2009.1-2011.6
  10. 国家863计划重点项目“新概念高效能计算机体系结构及系统研究开发”子课题,“纳米尺度SoC精化设计与验证技术研究”,负责人,2009.9 - 2010.5
  11. 国家863计划重点项目“新概念高效能计算机体系结构及系统研究开发”子课题,“非冯体系结构研究”,负责人,2009.9 - 2010.1
  12. 上海市科委白玉兰人才基金,“三维FPGA的热分析模型研究”, 2009.5 – 2010.5
  13. 国家自然科学基金面上项目,“量子可编程逻辑阵列结构研究”(61171011), 负责人,2012.1-2015.12
  14. 国家自然科学基金重点项目“基于双逻辑的低功耗IP核设计基础理论与关键技术”子课题“基于双逻辑IP核的验证和测试平台”(61131001),子课题负责人,2012.1-2016.12
  15. 国家863计划重点项目“新概念高效能计算机体系结构及系统研究开发”子课题,“面向图像识别的HRCA设计与实现”,2011.12 - 2012.12
  16. 指导本科生申请的项目:
  • 国家大学生创新训练计划二类项目:“FPGA时序收敛和码点调试工具”,2007.5-2008.5。
  • 本科生曦源课题,“量子遗传算法在FPGA布局中的应用 ”,2009
  • 复旦大学本科生学术研究资助计划(FDUROP)望道项目,“基于纳米级工艺FPGA的LUT尺度优化研究”,2010
  • 复旦大学推免生暑期科研训练资助计划,“新型可编程互连结构探索”,2010
  • 复旦大学“学生学术科技创新行动支持计划”自然科学B2类,“一款基于Qt的FPGA图形显示与调试工具”,2012
  • 复旦大学推免生暑期科研训练资助计划,“基于量子模型的FPGA并行布局”,“SOPC的部分位流生成”,2013
  • 复旦大学本科生学术研究资助计划(FDUROP)望道项目,“HRCA计算单元控制模块设计”,2013
  • 复旦大学“学生学术科技创新行动支持计划” 自然科学B2类,“一款基于Qt的FPGA图形显示与调试工具”,2013
  • 复旦大学本科生学术研究资助计划(FDUROP)望道项目,“HRCA计算单元控制模块设计”,2013

 

主要论文

  1. Hu, Guangxi; Xiang, Ping; Ding, Zhihao; Liu, Ran; Wang, Lingli; Tang, Ting-Ao, Analytical Models for Electric Potential, Threshold Voltage, and Subthreshold Swing of Junctionless Surrounding-Gate Transistors, IEEE Transactions on Electron Devices, Vol.61, No.3, pp.688-695, 2014 (下载)
  2. Chaofan Yu, Lingli Wang, Chun Zhang, Yu Hu, Lei He, Fast Filter-Based Boolean Matchers, IEEE Embedded Systems Letters, Vol. 5, No. 4, pp. 65-68, December 2013 (下载)
  3. Xitian Fan, Chenlu Wu, Wei Cao, Xuegong Zhou, Shengye Wang and Lingli Wang, Implementation of High Performance Hardware Architecture of OpenSURF Algorithm on FPGA, IEEE International Conference on Field-Programmable Technology (FPT2013), pp.152-159, 2013 (下载)
  4. Zheng Huang, Lingli Wang, Yakov Nasikovskiy and Alan Mishchenko, Fast Boolean Matching Based on NPN Classification, IEEE International Conference on Field-Programmable Technology (FPT2013), pp. 310-313, 2013 (下载)
  5. Jialin Chen, Lingli Wang and Bin Wang, Quantum FPGA Architecture Design, IEEE International Conference on Field-Programmable Technology (FPT2013), pp. 354-357, 2013 (下载)
  6. Shengye Wang, Chen Liang, Xuegong Zhou, Wei Cao, Chenlu Wu, Xitian Fan and Lingli Wang, A Hardware Implementation of Bag of Words and Simhash for Image Recognition, IEEE International Conference on Field-Programmable Technology (FPT2013), pp.418-421, 2013 (下载)
  7. Chen Liang, Chenlu Wu, Xuegong Zhou, Wei Cao, Shengye Wang and Lingli Wang, An FPGA-Cluster-Accelerated Match Engine for Content-based Image Retrieval, IEEE International Conference on Field-Programmable Technology (FPT2013), pp.422-425, 2013 (下载)
  8. Jialin Chen, Lingli Wang, Edoardo Charbon, and Bin Wang, Programmable Architecture for Quantum Computing, Physical Review A (88), 022311, 2013 (下载)
  9. Ying Wang, Xuegong Zhou, Lingli Wang, Jian Yan, Wayne Luk, Chenglian Peng and Jiarong Tong, SPREAD: A Streaming-based Partially Reconfigurable Architecture and Programming Model, IEEE Transactions on Very Large Scale Integration SystemsVol.21, No.12, pp. 2179-2192, 2013 (下载)
  10. Guangxi Hu, Shuyan Hu, Ran Liu, Lingli Wang, Xing Zhou, Ting-Ao Tang, Quasi-Ballistic Transport Model for Graphene Field-Effect Transistor, IEEE Transactions on Electron Devices, Vol. 60, No. 7, p 2410-2414, 2013 (下载)
  11. Zheng Huang, Lingli Wang, Yakov Nasikovskiy, Alan Mishchenko, Fast Boolean Matching for Small Practical Functions, Proc. International Workshop on Logic Synthesis (IWLS), pp.30-36, 2013 (下载)
  12. Wenlong Yang, Lingli Wang, and Alan Mishchenko, Lazy Man’s Logic Synthesis, International Conference on Computer-Aided Design (ICCAD), pp.597-604, 2012 (下载)
  13. W. Yang, L. Wang, and A. Mishchenko, "LMS: A new logic synthesis method based on pre-computed library", Proc. International Workshop on Logic Synthesis (IWLS), pp. 1-9, 2012 (下载)
  14. Ying Wang, Jian Yan, Xuegong Zhou, Lingli Wang, Wayne Luk, Chenglian Peng, Jiarong Tong, A Partially Reconfigurable Architecture Supporting Hardware Threads (Best Paper Nomination), IEEE International Conference on Field-Programmable Technology (FPT2012), pp.269-276, 2012 (下载)
  15. F. Gong, H. Yu, L. Wang, L. He, A Parallel and Incremental Extraction of Variational Capacitance with Stochastic Geometric Moments, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol.20, No.9, pp.1729-1737, 2012 (下载)
  16. T. Eguia, S. X.-D. Tan, R. Shen, D. Li, E. H. Pacheco, M. Tirumala, L. Wang, General parameterized thermal modeling for high-performance microprocessor design”, IEEE Transactions on Very Large Scale Integrated Systems, Vol.20, No.2, pp.211-224, 2012 (下载)
  17. 陈志辉, 章淳, 王颖, 王伶俐, 一种FPGA抗辐射工艺映射方法研究, 电子学报, Vol.39, No.11, pp.2507-2512, 2011 (下载)
  18. Kanwen Wang, Jialin Chen, Wei Cao, Ying Wang, Lingli Wang, Jiarong Tong, A Reconfigurable Multi-Transform VLSI Architecture Supporting Video Codec DesignIEEE Transactions on Circuits and SystemsII: Express Briefs, Vol. 58, No. 7, pp.432-436, 2011 (下载)
  19. Chun Zhang, Lerong Cheng, Lingli Wang, Jiarong Tong, FPGA power and timing optimization: architecture, process, and CAD, 2010 International Conference on Computational Problem-Solving (ICCP), Invited Talkpp.350 - 354, 2010 (下载)
  20. Chun Zhang, Yu Hu, Lingli Wang, Lei He, and Jiarong Tong Accelerating Boolean Matching Using Bloom FilterIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol.E93-A No.10 pp.1775-1781, 2010/10 (下载)
  21. C. Zhang, Y. Hu, L. Wang, J. Tong and L. HeEngineering a Scalable Boolean Matching Based on EDA SaaS 2.0, The International Conference on Computer-Aided Design (ICCAD), San Jose, CA., pp. 750-755, 2010 (下载)
  22. C. Zhang, Y. Hu, L. Wang, J. Tong and L. HeBuilding A Faster Boolean Matcher Using Bloom FilterProceedings of 18th ACM International Symposium on Field Programmable Gate Arrays 2010pp.185-188, Feb. 2010 (下载)
  23. HU Guang-Xi, WANG Lingli, LIU Ran, TANG Ting-Ao, Quantum-Mechanical Study on Surrounding-Gate Metal-Oxide-Semiconductor Field-Effect Transistors, Commun. Theor. Phys., Chinese Physical Society, pp. 763-767, Vol. 54, No. 4, 2010 (下载)
  24. 龚爱慧,梁绍池,陈志辉,王伶俐,童家榕, CSPack:采用CSP图匹配的新型装箱算法, 计算机辅助设计与图形学学报, Vol.22, No.11, pp.1998-2003, 2010 (下载)
  25. 汪鹏君,李辉,吴文晋,王伶俐, 张小颖,戴静,量子遗传算法在多输出ReedMuller逻辑电路最佳极性搜索中的应用,电子学报,Vol.38, No.5, pp.1058-1063, 2010 (下载)
  26. Guang-Xi Hu, Ran Liu, Ting-Ao Tang, and Ling-Li WangAnalytic Investigation on Threshold Voltage of Fully-depleted Surrounding-Gate Metal-Oxide-Semiconductor Field-Effect-Transistors, Journal of the Korean Physical SocietyVol. 52, No. 6, pp.19091912, 2008 (下载)
  27. 谈珺, 申秋实,王伶俐,童家榕, FPGA通用开关盒层次化建模与优化, 电子与信息学报, 30卷,第5, pp.1239-1242, 2008 (下载)
  28. M. Yang, L. Wang, J.R. Tong, A.E.A. Almaini, Techniques for Dual Forms of Reed–Muller Expansion Conversion Integration, the VLSI JournalVol. 41, No. 1, pp.113-122, 2008 (下载)
  29. 胡云,王伶俐,唐璞山,童家榕, 基于概率增益的电路划分算法,电子与信息学报,Vol.29No.11, pp.2762-2766, 2007 (下载)
  30. Guang-Xi Hu, Ran Liu, Ting-Ao Tang, Shi-Jin Ding, and Ling-Li Wang, Theory of Short-Channel Surrounding-Gate Metal-Oxide-Semiconductor Field-Effect-Transistors, Japanese Journal of Applied Physics, Vol. 46, No. 4A, pp. 143714402007 (下载)
  31. 胡云,王伶俐,唐璞山,童家榕, 基于布通率的FPGA装箱算法,计算机辅助设计与图形学学报,Vol.19, No.1, pp.108-113, 2007 (下载)
  32. L. Wang, and A. E. A. Almaini, Multilevel Logic Simplification Based on Containment Recursive Paradigm, IEE Proceedings Computers and Digital Techniques, Vol.150, No.4, 218-226, 2003 (下载)
  33. L. Wang and A. E. A. Almaini, Exact Minimisation of Large Multiple Output FPRM Functions, IEE Proceedings Computers and Digital Techniques, Vol.149, No.5, 203-212, 2002 (下载)
  34. L. Wang and A. E. A. Almaini, Optimisation of Reed-Muller PLA Implementations, IEE Proceedings Circuits, Devices and Systems, Vol.149, No.2, 119-128, 2002 (下载)
  35. L. Wang and A. E. A. Almaini, Multilevel Logic Minimization Using Functional Don't Cares, 14th International Conference on VLSI Design, IEEE Computer Society, Bangalore, India, 417-424, 2001 (下载)
  36. X. Wu, M. Pedram, and L. Wang, Multi-Code State Assignment for Low Power Sequential Circuit Design, IEE Proceedings Circuits, Devices and Systems, Vol.147, No.5, 271-275, 2000 (下载)
  37. L. Wang, A. E. A. Almaini, Fast Conversion Algorithm for Very Large Boolean Functions, IEE Electronics Letters, Vol.36, No.16, 1370-1371, 2000 (下载)
  38. 王伶俐, L, Song, G. Wu, Xiexiong, Chen, 基于双向电流型CMOS电路的谱综合, 电子科学学刊, Vol.22, No.2, 310-315, 2000 (下载)
  39. L. Wang, A. E. A. Almaini, and A. Bystrov, Efficient Polarity Conversion for Large Boolean Functions, IEE Proceedings Computers and Digital Techniques, Vol.146, No.4, 197-204, 1999 (下载)
  40. L. Wang, X. Chen, and A. E. A. Almaini, Algebraic Properties of Multiple-Valued Modulo Systems and Their Applications to Current-Mode CMOS Circuits, IEE Proceedings Computers and Digital Techniques, Vol.145, No.5, 364-368, 1998 (下载)
  41. L. Wang, X. Chen, and A. E. A. Almaini, Modulo Correlativity and its Application in a Multiple Valued Logic System, International J. Electronics, Vol.85, No.5, 561-570, 1998 (下载)
  42. 王伶俐, Xiexiong Chen, and Xunwei Wu, 模为合数时多值模代数的模减与模除运算, 电子学报, Vol.26, No.5, 17-20, 1998 (下载)
  43. 王伶俐, Xinmin Xu, Xiexiong Chen, 基于模运算模为合数的多值逻辑函数的展开, 电子科学学刊, Vol.20, No.1, 120-124, 1998 (下载)
  44. 范雅俊,王伶俐,陈偕雄,基于多值模相关性的电流型CMOS电路设计,电路与系统学报,Vol.3No.2, pp.43-49, 1998 (下载)
  45. 王伶俐,陈偕雄,不完全确定序列机状态化简,电路与系统学报,Vol.1No.3, pp.72-76, 1996 (下载)

专利与软件著作权

名称:   多通道红外遥控开关    类别:  实用新型
专利号: ZL 93 2 13026.7    授权日期: 1993年5月

名称: 掩模可编程逻辑器件编程的方法及如此编程的器件  类别: 发明专利
专利号: 200480022859.7    授权日期:  2005年1月

名称:  Method for programming a mask-programmable logic device and device so programmed
类别:  美国专利
专利号:  7290237     授权日期:  2007年10月

名称: 一种现场可编程逻辑阵列的通用互连盒结构及建模方法     类别: 发明专利
专利号: ZL 200910050942.X,    授权日期:2012年10月

名称:一种可编程逻辑器件互连资源的故障测试方法,
专利号:ZL 200910050875.1,  授权日期:2012年10月

名称:  一种现场可编程门阵列的抗辐射性能快速模拟方法     类别: 发明专利
专利号: ZL 200910198448.8     授权日期: 2012年11月

名称: 基于边界扫描的可编程逻辑器件自动测试系统与方法   类别: 发明专利
专利号:  ZL 201010545055.2    授权日期: 2013年2月

名称:FPGA/SOPC后端编译软件[简称:FDE软件] V1.0    类别:计算机软件著作权
登记号:2013SR067117   批准日期:2013年7月

教材与译著

  • 中国工程院国际工程科技发展战略高端论坛,《高效能计算机体系结构的挑战、对策与前景展望》,高等教育出版社,2013年12月(担任编辑委员会委员)
  • 王伶俐,周学功,王颖,“系统级FPGA设计与应用”,清华大学出版社,2012年1月
  • 王伶俐,《集成电路工程领域发展报告》之专题9,“FPGA技术发展趋势”,浙江大学出版社,2011年9月
  • 伶俐,杨萌,周学功,“深亚微米FPGA结构与CAD设计”, 电子工业出版社,2008年11月

奖励

  • 2007年1月获教育部科技进步二等奖,“适用于数据通路应用的可编程逻辑器件及其软件系统”,(第三完成人)。

学术活动

  • “Customizable FPGA Computing Platform and Reliability Improvement”, China Semiconductor Technology International Conference 2014 (CSTIC 2014), Invited Talk, 2014
  • “Hardware Acceleration and Reliability Improvement for FPGA-Based Reconfigurable Computing”, The 4th International Workshop on Advanced Technologies in Programmable System on Chip ( ATPSOC 2014 ), Keynote Speech, 2014
  • International Conference on Field-Programmable Technology( FPT2014, www.icfpt2014.org ) General Chair, 2014;FPT2010 Program Committee member, 2010
  • IEEE Council on EDA (Electronic Design Automation) Shanghai Chapter Chair,2012
  • Asia and South Pacific Design Automation Conference(ASPDAC’2011,ASPDAC’2012) Technical Program Committee member
  • International Workshop on Emerging Circuits and Systems (IWECS’2009), Committee member, Shanghai, 2009
  • 指导学生参加"Altera杯"中国第五届研究生EDA电子设计竞赛,获团体金奖,清华大学,2005
  • 第14届超大规模集成电路设计国际会议审稿人 (14th International Conference on VLSI Design, IEEE Computer Society, Los Alamitos, California, U.S.A, 2001)

Copyright © 2014 上海市浦东新区张衡路825号微电子楼  邮编:201203

电话:021-51355200  E-mail:asic@fudan.edu.cn