阅读完本文,你将了解以下内容:
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
分享数字集成电路设计中的经验和方法
分享让工作更轻松
领取专属 10元无门槛券
私享最新 技术干货