一起学IC验证:推荐资料合集,收藏专用

阅读完本文,你将了解以下内容:

IC验证参考书

如何读书

IC验证倒底是什么

如何学习IC验证

一些SV和UVM的在线教程

做IC验证还应当关注的一些会议

IC验证相关的几个公众号

一些博客资料

IC验证相关的脚本编程书籍

IC验证参考书

SystemVerilog验证,第二版(英文原版:SystemVerilog for Verification, Third Edition)

一句话评价:

行业内叫“绿皮书”,可作为SystemVerilog入门书籍,也可作语法查询之用。

UVM实战,张强

一句话评价:

行业内叫“白皮书”,是第一本中文UVM书,90%的IC验证工程师都是学的这本。

芯片验证漫游指南,刘斌

一句话评价:

行业内叫“红宝书”,今年刚出版,路桑的巨作,从验证理论思想、SystemVerilog到UVM等,应有尽有。

The UVM Primer

一句话评价:

一本UVM的入门书。

Practical UVM step by step examples

一句话评价:

一本UVM的进阶书,有很多复杂的示例,书中代码在 https://github.com/Practical-UVM-Step-By-Step/Practical-UVM-Step-By-Step 。

A Practical Guide to Adopting the Universal Verification Methodology (UVM) Second Edition

一句话评价:

一本UVM的入门书,由Cadence的员工编写。

ASIC/SOC Functional Design Verification

一句话评价:

最全面的验证书,包括SV,UVM,受约束的随机,断言,功能覆盖率,CDC验证,低功功耗验证,形式验证,ESL验证,软硬件联合验证,数模混合验证,SOC互连验证等。

SystemVerilog Assertions and Functional Coverage

一句话评价:

一本很好的断言入门书。

如何读书

有人说,书很多,读不完。 有人说,书读完,还是不知道如何搭环境写Case。

为什么?不能为了读书而读书。

书更像是工具,在做项目时,遇到不会的再去翻阅相关章节,效果会更好。

IC验证倒底是什么

做IC验证就像拍照片,验证工具就是照相机。照片拍的好不好,主要在于照片呈现出来的美感,抽象的或记实的现实意义。而拍照的设备是功能手机、还是单反并不是那么重要。

做IC验证也是一样,使用的是verilog发激励,还是C或UVM也不那么重要。重要的是找出bug,降低流片失败或做ECO的成本。

那么如何找出更多的bug,如何证明RTL中不存在bug,如何更轻松更快速的找bug?这些才是IC验证的研究内容。

如何学习IC验证

打好基础,SV和UVM的语法应当熟知

改造已有的验证环境

完善验证环境

继续完善(这一步循环N次)

引入新的验证方法,继续完善(这一步循环N次)

发明新的验证方法或思路

这时你已经是IC验证专家了

接下来你应该多分享IC验证的心得,提升下行业水平

一些SV和UVM的在线教程

首推“验证学院”,由Mentor编写,有Cookbook,有视频教程。

https://verificationacademy.com/

“验证指导”,包括SystemVerilog教程、UVM教程、SystemC教程等。

https://www.verificationguide.com/p/home.html

“ASIC World”的SV教程,据说这个网站每月有超过3百万的浏览量。

http://www.asic-world.com/systemverilog/tutorial.html

doulos教程

https://www.doulos.com/knowhow/sysverilog/

https://www.doulos.com/knowhow/sysverilog/uvm/

UVM candy lovers 教程

http://cluelogic.com/category/uvm/

http://cluelogic.com/2011/07/uvm-tutorial-for-candy-lovers-overview/

https://github.com/cluelogic/uvm-tutorial-for-candy-lovers

chipverify

https://www.chipverify.com/system-verilog/system-verilog

https://www.chipverify.com/uvm/uvm-tutorial

uvm tutorial

http://uvmtutorial.com/

UVM教程

做IC验证还应当关注的一些会议

DVCon(https://dvcon.org)

Design and Verification Conference,由Accellera主办的全球性的IC DV研讨会。DVCon-US已举办20多年,DVCon-China已举办两界。与会的都是行业内的专业人士,或者分享IC验证经验,或者展示最新的验证技术和方法。

DAC(https://www.dac.com)

Design Automation Conference,有人称之为EDA界的奥斯卡。第一界开始于1964年,至今共举办55界。每年有超过1000家公司或组织参加DAC,或发布新产品,或讨论前沿技术。

CDNLive

CDNLive大会是由Cadence公司举办的一年一度的全球巡回用户大会。全球超过6000名工程师在这里分享设计成果。在中国上海站,数十位来自海外的Cadence工具专家和知名IC设计公司的设计专家将通过精彩的演讲,与广大中国IC工程师面对面现场交流。

SNUG

SNUG(Synopsys User Group)是 Synopsys 一年一度在全球重要市场区域举办的 Synopsys 用户活动,通过用户总结其在使用Synopsys工具过程中的成功经验,以论文的形式提交给 Synopsys 用户组委会,旨在为使用 Synopsys 设计工具环境的用户搭建一个开放的交流平台。参加这一活动的 Synopsys 用户能够沟通与交流,在设计理念和方法学上受到有益的启发。

关注这些研讨会,不仅仅是因为会议上可以学习到同行分享的经验、论文、技术,更重要是可以认识更多的同行,结识更多的朋友。

IC验证相关的几个公众号

ID:路科验证

▲长按上方二维码识别关注

专注于数字芯片验证的系统思想和前沿工程领域。号主著有《芯片验证漫游指南》——红宝书,网站http://rockeric.com。并在腾讯课堂开设有《芯片验证基础精讲》、《芯片验证系统学习班》等课程。

ID:IC验证工程师

▲长按上方二维码识别关注

号主从2015年开始陆续发布了近百篇验证相关的文章,包括验证思想、SV、UVM、EDA工具等。并建有IC验证工程师交流群,群里专注IC验证,讨论活跃。在移知有《从Spec到Env》等课程。

ID:猴哥验证

▲长按上方二维码识别关注

猴哥是行业内的验证大咖,逾15年验证经验,在移知有《手把手教你MCU芯片级验证》等课程。

一些博客资料

除了前面几篇文章提到资料,IC验证工程师还应该关注优秀的博客,因为在电脑端百度资料时,绝大部分都是来自博客。下面列出一些。

https://blog.csdn.net/seabeam

https://blog.csdn.net/Times_poem

https://blog.csdn.net/zhajio

https://blog.csdn.net/lbt_dvshare

https://blog.csdn.net/tgz949494

https://blog.csdn.net/sxlwzl

https://www.cnblogs.com/-9-8/

https://www.cnblogs.com/dpc525/

https://www.cnblogs.com/bob62/

http://blog.sina.com.cn/u/1180997363

IC验证相关的脚本编程书籍

《Tcl/Tk入门经典》

一句话评价:

最经典的Tck/Tk教程。

《Perl语言入门》

一句话评价:

江湖里人称“小骆驼”,最经典的Perl入门教程。

《Learning Python》

一句话评价:

O'Reilly出版书的一般都不会差,有很多介绍Python原理的部分。

《Python编程从入门到实践》

一句话评价:

很多人的第一本Python教程。

《Learning ruby》

一句话评价:

一本Ruby教程,与Perl、Python一样的经典。

《JavaScript: The Good Parts》

一句话评价:

一本JavaScript教程。怎么好像推荐的都是O'Reilly的,哈哈!

《Machine Intelligence in Design Automation》

一句话评价:

快来学学,如何在设计自动化中加入机器学习。

《Electronic Design Automation: Synthesis, Verification, and Test》

一句话评价:

一本介绍综合、验证、测试的EDA书。想自己做EDA吗?一定不能错过这本。

《Debug Automation from Pre-Silicon to Post-Silicon》

一句话评价:

一本介绍调试自动化的书。做验证、做CAD都可以看看。

欢迎关注ExASIC

分享数字集成电路设计中的经验和方法

分享让工作更轻松

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20181102G08FVB00?refer=cp_1026
  • 腾讯「云+社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 yunjia_community@tencent.com 删除。

扫码关注云+社区

领取腾讯云代金券