集成电路设计与验证

课程编码：180086085404P4002H 英文名称：Integrated Circuit Design and Verification 课时：20 学分：1.00 课程属性：研讨课 主讲教师：沈海华

本课程是为计算机、电子等专业研究生开设的专业研讨课。随着集成电路设计日趋复杂，芯片安全问题日益突出，集成电路验证逐渐成为集成电路设计流程中的瓶颈。本课程开设目的是使学生可以初步掌握集成电路验证领域的基础知识、基本流程和工作方法，了解集成电路验证及芯片安全领域的前沿和发展方向。课程包括基本知识集中讲授、文献阅读和课程实践三部分，兼顾研究生的学习研究能力及实践动手能力全面发展，为将来从事相关领域的研究和工程实践打下基础。

无

第一章 研究方法入门 2.0学时 沈海华
第1节 研究方法入门
第二章 集成电路验证基础 2.0学时 沈海华
第1节 集成电路验证基础
第三章 覆盖率检验方法综述 2.0学时 沈海华
第1节 覆盖率检验方法综述
第四章 研究生论文阅读及课堂口头报告 14.0学时 沈海华
第1节 研究生论文阅读及课堂口头报告

沈海华系中国科学院大学教授、博士生导师。中国计算机学会杰出会员，CCF容错计算专委会副主任，CCF集成电路设计专委会常务委员兼教育工作组组长，主要研究方向：芯片设计、VLSI验证测试、硬件安全等，主持国家863、nsfc、核高基子课题、重点研发子课题等国家级科研项目10余项，在IEEE TVLSI、IEEE TCAD、DAC等期刊会议上发表论文50余篇，出版专著2部、译著1部，授权发明专利20余项，软件著作权7项，研究成果获得省部级等各类奖励十余项。