BOOKS

These are some of the best books to learn System Verilog, Fundamentals of Verification, Assertions as well as Functional Coverage.

  1. Writing Testbenches using SystemVerilog by Janick Bergeron – https://amzn.to/3FOU0pc
  2. SystemVerilog for Verification by Chris Spear – https://amzn.to/3UoN8mv
  3. Verilog and System Verilog Gotchas by Stuart Southerland – https://amzn.to/3sRYioe
  4. SystemVerilog Assertions Handbook: for Formal and Dynamic Verification By Ben Cohen, Srinivasan Venkataramanan, Ajeetha Kumari – https://amzn.to/3Ucbjom
  5. Principles of Functional Verification by Andreas Meyer – https://amzn.to/3h70jue
  6. System Verilog Assertions and Functional Coverage – Guide to Language Methodology and Applications by Ashok B Mehta – https://amzn.to/3zF2GKW
  7. A Practical Guide for SystemVerilog Assertions by Srikanth Vijayaraghvan, Meyappan Ramanathan – https://amzn.to/3TXRlOm
  8. Introduction to SystemVerilog by Ashok B Mehta – https://amzn.to/3UiK8rW
  9. Getting Started with UVM: A Beginner’s Guide by Vanessa Cooper – https://amzn.to/3DvRMbS
  10. A Practical Guide to Adopting the Universal Verification Methodology (UVM) – https://amzn.to/3UqbufX
  11. The UVM Primer: A Step-by-Step Introduction to the Universal Verification Methodology by Ray Salemi – https://amzn.to/3U2YVXU
  12. Practical UVM: Step by Step Examples – https://amzn.to/3WpQs2F
  13. Advanced UVM – https://amzn.to/3NxHOez
  14. Cracking Digital VLSI Verification Interview: Interview Success – https://amzn.to/3DYKkaG
  15. Writing Testbenches: Functional Verification of HDL Models – https://amzn.to/3FFPadW
  16. Formal Verification: An Essential Toolkit for Modern VLSI Design – https://amzn.to/3h1lLRb
  17. FPGA Prototyping by Verilog Examples: Xilinx Spartan-3 Version by Pong P Chu – https://amzn.to/3zG0Qtu
  18. Fundamentals of Semiconductor Fabrication by S M SZE – https://amzn.to/3DwlddB
  19. Static Timing Analysis For Nanometer Design by J Bhaskar – https://amzn.to/3UjNn2u
  20. Constraining Design for Synthesis and Timing Analysis by Sridhar Gangadharan – https://amzn.to/3h9skRW
  21. Advance ASIC Chip Synthesis by Himanshu Bhatnagar – https://amzn.to/3Duyaot
  22. Physical Design Essentials by Khosrow Golshan – https://amzn.to/3WDnKf0
  23. Algorithm for VLSI Physical Design Automation by Naveed Sherwani – https://amzn.to/3Dwmcuj
  24. The Art of Timing Closure by Khosrow Golshan – https://amzn.to/3DAODaw
  25. Python for RTL Verification: A complete course in Python, cocotb, and pyuvm – https://amzn.to/3DXRqfo
  26. Doulos UVM Golden Reference Guide – https://amzn.to/3FCMFt3
  27. Logic Design and Verification Using SystemVerilog – https://amzn.to/3FKfzHB
  28. Finding Your Way Through Formal Verification – https://amzn.to/3FHRQYC
  29. VLSI Interview Questions with Answers – https://amzn.to/3DshiP4