验证书单【持续更新】

qsh123_123

手上收集了不少的验证书籍。刚在另外一边的求资料的帖子里回复贴了出来，干脆开个书单的主题帖，后面持续更新吧。
【验证书单】
---------------------------------------------------------------------------
中文：
---------------------------------------------------------------------------
1.《SystemVerilog验证-测试平台编写指南（第二版）》,克里斯·斯皮尔 著，张春，麦宋平，赵益新 翻译。
        SV的经典入门绿本本，验证首选基础，后面即使用到OVM/VMM/UVM等验证方法学也绕不开熟练掌握SV本身；
        也可以直接看英文原版，《SystemVerilog for Verification--A Guide to Learning the Testbench Language Features》，英文版有更新的第3版。
2.《芯片验证漫游指南-从系统理论到UVM的验证全视界》，刘斌 著。
        目前国内验证培训中比较知名的路科验证写的，红皮书，适合应届毕业生/转专业的同学的入门。话说，现在有些验证培训机构出现灌水现象啊，只培训验证套路是不行的，实际代码能力动手能力得跟上，原理上的理解也得跟上。
3.《UVM实战》，张强 著。
        应该是国内最早的一批翻译UVM的书籍了，对UVM平台的快速搭建和高级用法都有详细介绍。白皮书。其实一开始没有任何验证基础就直接看这个理解起来会可能有点困难，建议前面这3本书结合起来一起看。
4.《Verilog与SystemVerilog编程陷阱：如何避免101个常犯的编码错误》，作者:（美）萨瑟兰，（美）米尔斯 著。
        作者Stuart Sutherland是IEEE 1800工作组的成员，该工作组负责起草Verilog和SystemVerilog标准。总结了很多容易常犯的Verilog/SV错误，对于实际参与项目工作很有意义，对设计还是验证都有用，最好翻一翻。当作补充读物。
        英文原版《Verilog and SystemVerilog Gotchas--101 Common CodingErrors and How to Avoid Them》
5.《全面的功能验证:完整的工业流程》(美)威立 等著,沈海华,乐翔 译
        作者是几位IBM的ASIC首席工程师和验证组长，对企业和实际项目的验证全流程工作很有指导作用，更侧重于让读者了解工业界完整做完功能验证都需要哪些思路和流程，直接讲代码反而少一些。
        建议参加工作后，完整走完一个项目再去翻一翻。
        英文原版《COMPREHENSIVE FUNCTIONAL VERIFICATION--THE COMPLETE INDUSTRY CYCLE》

---------------------------------------------------------------------------
英文：
---------------------------------------------------------------------------
（上面已有中文版翻译的，已经给出英文原本书名，就不重复了）
1.《The UVM Primer--An Introduction to the Universal Verification Methodology》 Ray Salemi
        浅显易懂的一本书，没有太多复杂度语法，可用于UVM快速入门和上手。很薄，而且举例挺生动的，适合初学者。
2.《UVM-cookbook》
        Mentor的验证方法学团队出一本电子书，放在Mentor的Verification Academy上，介绍UVM/OVM挺全面的一本书，附有大量代码（绝对量大管饱），而且后面附录有详细guideline，的确可以当代码的cookbook来用。
3.《IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language》
        SV语言的IEEE标准，当语法字典查阅吧，里面的语法都有举例，都不会特别复杂，手上得备有。
4.《Universal Verification Methodology (UVM) 1.2 User’s Guide》，《Universal Verification Methodology (UVM) 1.1 User’s Guide》
        Accellera发布的UVM1.1和1.2的用户指引。不仅仅可以当做UVM的字典查阅，还配有很多齐全的验证环境、流程、结构等各种图表，可以说当做帮助文档来使用，同样手上得备有。
5.《SystemVerilog Testbench Workshop--Student Guide》
        Synopsys的培训实验电子书，跟着他们家工具和实验全流程走完就基本熟悉其EDA工具和设计验证流程了，验证方法学侧重VMM介绍，可以当做EDA工具的实验课来使用。
6.《Step-by-Step Functional Verification with SystemVeriiog and OVM》
        比较古老的一本验证书籍，一步步介绍功能验证过程，比较基础和容易理解，验证方法学侧重OVM，可以看看前面几章作为基础参考。
7.《IEEE Standard for Universal Verification Methodology Language Reference Manual》， IEEE Computer Society, IEEE Std 1800.2-2017
    IEEE标准中UVM的语法参考手册，同样建议当作UVM的字典查阅，结合前面的英文书单的3，两本大部头字典足够你查阅所有验证需要的基础和语法了，打印封装好以备不时之需查一查。
8.《ASIC/SoC Functional Design Verification--A Comprehensive Guide to Technologies and Methodologies》，Ashok B.Mehta
    一本综述性质多一些的书籍，将功能验证讲得挺齐全的。不仅仅讲了SV和UVM，还将受约束的随机验证、断言、功能覆盖率、CDC、Low-Power、基于Formal的静态验证、ESL、软硬件协同、数模混合、SoC interconnect等等整个产生生命周期的功能验证相关都讲了遍。验证入门以后，想对整个行业有个广度上的理解的童鞋可以翻一翻，挺有帮助的。代码讲得少，但看完对行业的技术现状了解会充分很多，还算挺新的一本书，2018年Springer出版的。
9.《Universal Verification Methodology UVM Cookbook》, Simems.com/eda
    西门子最新发布的UVM Cookbook，跟Mentor发布的UVM Cookbook有异曲同工之处，不过内容会新一些，毕竟刚放出来的电子书。同样里面的UVM相关的代码量大管饱，两本UVM CookBook选一本其实都差不多了，当然，一起对照着啃下来也不错，学有余力的话。
10.《A Pratical Guide to Adopting the Universal Verification Methodology(UVM)》, Sharon Rosenberg, Kathleen A Meade
    适合UVM入门使用，其中关于UVC的构建、使用和集成部分讲得比较透彻，里面UVM组件和环境的逐步搭建思路比较直观，图表和代码量都比较适中，对于刚接触IP/VIP/UVC的使用和开发者建议翻翻。
11.《Practical UVM--Step By Step with IEEE 1800.2》, Srivatsa Vasudeva
    比较新的一本书，将UVM讲解得比较全面，有大量的代码和图表，连IEEE 1800.2和UVM 1.2的差异点feature都特意标注了出来，里面很多example都跟实际复杂工程很贴切，唯一的缺点估计只是份量有点足，可以从入门一直用到进阶的一本书。



补充内容 (2024-11-11 15:19):
后续持续补充，会在这个帖子上更新回复

huatiantian

very good

tinytera

UVM的话 practical UVM  一本就够了

qsh123_123

tinytera 发表于 2022-7-30 20:10
UVM的话 practical UVM  一本就够了

哦对，这本也不错，我补充进去

huikong2013

很棒的分享

lans0625

谢谢分享

gregoryw

thanks for sharing..............

拓跋荒

666，怎么下载？

huikong2013

拓跋荒 发表于 2024-3-21 15:31
666，怎么下载？

坛子里面搜索

yaof12

赞 very good