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/3ndnXop
  2. SystemVerilog for Verification by Chris Spear – https://amzn.to/3zSzG3k
  3. Verilog and System Verilog Gotchas by Stuart Southerland – https://amzn.to/3bi0ShE
  4. SystemVerilog Assertions Handbook: for Formal and Dynamic Verification By Ben Cohen, Srinivasan Venkataramanan, Ajeetha Kumari – https://amzn.to/3n9p1tu
  5. Principles of Functional Verification by Andreas Meyer – https://amzn.to/3OzNh3Y
  6. System Verilog Assertions and Functional Coverage – Guide to Language Methodology and Applications by Ashok B Mehta – https://amzn.to/39JRyTA
  7. A Practical Guide for SystemVerilog Assertions by Srikanth Vijayaraghvan, Meyappan Ramanathan – https://amzn.to/3zTTeV2
  8. Introduction to SystemVerilog by Ashok B Mehta – https://amzn.to/3zQCRZl
  9. Getting Started with UVM: A Beginner’s Guide by Vanessa Cooper – https://amzn.to/39H4PMF
  10. A Practical Guide to Adopting the Universal Verification Methodology (UVM) – https://amzn.to/3NapXZl
  11. The UVM Primer: A Step-by-Step Introduction to the Universal Verification Methodology by Ray Salemi – https://amzn.to/3QE2FOf
  12. Practical UVM: Step by Step Examples – https://amzn.to/3zYilGj
  13. Advanced UVM – https://amzn.to/3yayPda
  14. Cracking Digital VLSI Verification Interview: Interview Success – https://amzn.to/39Ec1Jy
  15. Writing Testbenches: Functional Verification of HDL Models – https://amzn.to/3yazivW
  16. Formal Verification: An Essential Toolkit for Modern VLSI Design – https://amzn.to/3QDPE7t
  17. FPGA Prototyping by Verilog Examples: Xilinx Spartan-3 Version by Pong P Chu – https://amzn.to/3Ofus63
  18. Fundamentals of Semiconductor Fabrication by S M SZE – https://amzn.to/3tTWThY
  19. Static Timing Analysis For Nanometer Design by J Bhaskar – https://amzn.to/3NeaHui
  20. Constraining Design for Synthesis and Timing Analysis by Sridhar Gangadharan – https://amzn.to/3tSpJ1Y
  21. Advance ASIC Chip Synthesis by Himanshu Bhatnagar – https://amzn.to/3QDZIgR
  22. Physical Design Essentials by Khosrow Golshan – https://amzn.to/3b8h9Ws
  23. Algorithm for VLSI Physical Design Automation by Naveed Sherwani – https://amzn.to/3zRMF5u
  24. The Art of Timing Closure by Khosrow Golshan – https://amzn.to/3OclDtV