Books
- Home
- Books
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
