Focuses on how to specify assertions, how to create & adopt a methodology that supports assertion-based design, & what to do with the assertions & methodology. This title offers multiple forms of assertion specifications: Accellera Open Verification Library (OVL), Accellera Property
Specification Language (PSL), & Accellera System Verilog.