Applied Assertion-Based Verification: An Industry Perspective

Front Cover
Now Publishers Inc, 2009 - Computers - 108 pages
Applied Assertion-Based Verification examines the application of assertion-based verification in today's electronic design industry to address specific challenges of poor observability and controllability during the verification process. Statistics illustrating successful application of both low-level and high-level assertions are presented. While the process of writing assertions is fairly well understood by those skilled in the art-the process of creating higher-level assertion-based IP that must communicate with other components in a contemporary transaction-level modeling (TLM) simulation environment, is not. Hence, Applied Assertion-Based Verification provides a set of steps (in a tutorial fashion) for creating assertion-based IP. Applied Assertion-Based Verification provides a survey of today's ABV landscape, ranging from industry case studies to today's assertion language standardization efforts, to emerging challenges and research opportunities. In addition, it directly addresses industry process issues of developing assertion-based IP by introducing a systematic set of planning and development steps. A detailed bus protocol example is provided, which draws together the various concepts introduced throughout the text while demonstrating an effective process for developing assertion and assertion-based verification IP.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
1
Bus Protocol Assertion Intellectual Property
5
Assertion Languages and Libraries
17
Creating Assertion Intellectual Property
41
Example
61
AsserationBased Verification Within a Flow
79
References
95
Copyright

Common terms and phrases

Bibliographic information