Book 1: 

Introduction to SystemVerilog
(Springer 2021)

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

Book 2:

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

(Springer: 3rd edition – 2020)

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 3:

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

(Springer: 2018) 

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