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