System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications by Ashok B. Mehta
This updated third edition addresses the latest functional set released in IEEE-1800 (2012) LRM, including numerous additional operators and features. Additionally, many of the Concurrent Assertions/Operators explanations are enhanced, with the addition of more examples and figures.
* Covers in its entirety the latest IEEE-1800 2012 LRM syntax and semantics;
* Covers both SystemVerilog Assertions and SystemVerilog Functional Coverage languages and methodologies;
* Provides practical applications of the what, how and why of Assertion Based Verification and Functional Coverage methodologies;
* Explains each concept in a step-by-step fashion and applies it to a practical real life example;* Includes 6 practical LABs that enable readers to put in practice the concepts explained in the book.