Assertion-Based Design, Second Edition
Harry Foster, Adam Krolnik, David Lacey
Springer; 2 edition (May 19, 2004)

The focus of Assertion-Based Design, Second Edition is three-fold:

1. How to specify assertions,
2. How to create and adopt a methodology that supports assertion-based design (predominately for RTL design),
3. What to do with the assertions and methodology once you have them.

To support these three over-arching goals, we showcase multiple forms of assertion specifications: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera SystemVerilog. The recommendations and claims we make in this book are based on our combined actual experiences in applying an assertion-based methodology to real design and verification as well as the authors work in developing industry assertion standards.

Principles of Verifiable RTL Design, Second Edition - A Functional Coding Style Supporting Verification Processes in Verilog
Lionel Bening and Harry Foster
Springer; 2 edition (May 1, 2001)

Principles of Verifiable RTL Design explains how you can write Verilog to describe chip designs at the RT-level in a manner that cooperateswith verification processes. Reduces the labor costs of coverage and formal model checking by facilitating communication between the design engineer and the verification engineer.