验证书单【持续更新】

qsh123_123

很久没更新了，今年市面上出了一些新的验证方面的书，补充下（暂时先上中文的，英文的晚些补充）

---------------------------------------------------------------------------
中文：
---------------------------------------------------------------------------
6.《UVM芯片验证技术案例集》，作者：马骁，新华大学出版社
UVM案例分析集，适合已经有一定基础的阅读，提供了市面上现有的不少验证技术方案和思路，里面有大量的验证平台和方案的结构示意图，以及一些思路的代码举例，适合想从初级验证工程师进一步进阶学习，以及想从IP验证进入到Soc验证和验证管理岗位的，可以横向扩展验证领域的视野。不过作为今年才第一版的新书，偶尔会有少量图文错误，希望后续版本的修订能纠正掉。推荐已经有1~3年实际验证工作经验的工程师阅读。
7.《数字Soc设计、验证与实例》，作者：王卫江/薛丞博等，机械工业出版社
这书有点一言难尽，不是完全针对验证的书籍，讲得挺杂。讲了包括Soc设计和验证、FPGA设计（Vivado相关）、DC综合、时钟和时序分析、AES加密，可以当作业余读物，扩展视野用的，追求IC行业的知识广度的可以翻翻，追求验证知识深度的可以跳过。适合零验证经验，以及跨专业转行的阅读，可以对Soc验证在整条产业链条中所处的工作内容有一个初步的了解。
8.《芯片验证调试手册--验证疑难点工作锦囊》，作者：刘斌，电子工业出版社
路桑的第二本书，对于验证的代码能力和经验提升都挺不错的，里面是大量的常用代码分析和避坑指南，假如都能记住和理解，并落实到实际验证工作中的话，可以快速提高初级验证工程师的代码能力和调试debug能力——毕竟了解别人常犯的错误可以少踩很多坑。不过，只有自己亲自动手并自己踩的坑，才能深刻记得住——这一点喜欢读历史的同学估计挺有发言权。所以，这本书最好是跟着源代码（书里的官网里有）做一遍跑一边。这书适合0~1年验证工作经验的学习。
9.《SystemVerilog Assertions应用指南》，作者：Srikanth V./Meyyappan R. 翻译：陈俊，清华大学出版社
2006年的古早的书了，中文版已经绝版，除了图书馆和老书店，基本上市面上很难找到正版来源。专门讲SVA断言的，将第一章吃透了就差不多够用日常项目使用了，后面的章节需要足够深入的SVA断言开发需求再慢慢翻。适合1~3年验证工作的学习。
英文名《A Practical Guide for SystemVerilog Assertions》，Springer出版的