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.”
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
全部0条评论
快来发表一下你的评论吧 !