A quick skimming of this book might lead you to think that
this is just another book about assertion-based verification.
Or perhaps you might think this is a book about assertion
patterns that will provide a knowledge base of property set
examples for many common design components. But this
book is really about process, specifically, a systematic
process for creating reusable assertion-based verification
components, which we refer to as assertion-based IP.
Assertion-based IP is one form of verification components
often lumped under the broader term verification
intellectual property (VIP). The unique characteristic of
assertion-based IP is that it is a reusable property set that
takes advantage of assertion and coverage directives and
easily integrates with other verification components within a
verification environment. Reuse is achieved across multiple
design implementations and multiple verification processes.
The general relationship of assertion-based IP to VIP will be
discussed in Chapter 2, “Definitions and Terminology.”