Book 1:

SystemVerilog Assertions and Functional Coverage : Comprehensive guide to Language, Methodology and Applications

(Springer: 3rd edition – 2020) (500+ pages)

This book provides an application oriented in-depth guide to language, methodology and applications of SystemVerilog Assertions and Functional Coverage Languages. Used by engineering community at large, it will serve as an excellent Reference Book

Book 2:

ASIC/SoC Functional Design Verification: Comprehensive overview of technologies and methodologies

(Springer: 2018) (320+ pages)

This book introduces the following Verification Technologies

  • UVM (Universal Verification Methodology)
  • SVA (SystemVerilog Assertions)
  • SFC (SystemVerilog Functional Coverage)
  • CDV (Coverage Driven Verification)
  • UPF based Low Power Verification
  • AMS (Analog Mixed Signal)
  • ESL (Virtual Platform TLM2.0)
  • Static Formal Verification (Formal Proof, Model Checking)
  • LEC (Logic Equivalency Check)
  • Hardware Acceleration/Emulation
  • PPA (Power Performance Area) analysis
  • Reuse Methodology

Book 3: 

Introduction to SystemVerilog
(Springer 2021 – 800+ pages)

The book covers entire SystemVerilog language (except for PLI/DPI, Gate Level and Specify Block)