Foundations and Trends® in Electronic Design Automation > Vol 3 > Issue 1

Applied Assertion-Based Verification: An Industry Perspective

By Harry Foster, Mentor Graphics Corporation, USA, Harry_Foster@mentor.com

 
Suggested Citation
Harry Foster (2009), "Applied Assertion-Based Verification: An Industry Perspective", Foundations and Trends® in Electronic Design Automation: Vol. 3: No. 1, pp 1-95. http://dx.doi.org/10.1561/1000000013

Publication Date: 15 Apr 2009
© 2009 H. Foster
 
Subjects
Verification
 

Free Preview:

Download extract

Share

Download article
In this article:
1 Introduction 
2 Industry Adoption of Asseration-Based Verification 
3 Assertion Languages and Libraries 
4 Creating Assertion Intellectual Property 
5 Bus Protocol Assertion Intellectual Property Example 
6 Asseration-Based Verification Within a Flow 
References 

Abstract

A wealth of material has been published over the past 30 years specifically related to the theory and technical aspects of property languages and assertion-based techniques. However, as any field of study matures, it becomes necessary to determine if the theories, algorithms, and concepts have grown beyond the bounds of research to become an integral solution to a problem in industry. To understand any solution, it is necessary to understand the problem. For example, debugging, on average, has grown to consume more than 60% of today's ASIC and SoC verification effort. Clearly, this is a topic the industry must address, and some organizations have done just that. Those that have adopted an assertion-based verification (ABV) methodology have seen a significant reduction in simulation debugging time (as much as 50% [1,47]) due to improved observability. Furthermore, organizations that have embraced an ABV methodology are able to take advantage of more advanced verification techniques, such as formal property checking, thus improving their overall verification quality and results. This paper examines the application of ABV 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, this paper provides a set of steps (in a tutorial fashion) for creating assertion-based IP.

DOI:10.1561/1000000013
ISBN: 978-1-60198-218-6
108 pp. $75.00
Buy book (pb)
 
ISBN: 978-1-60198-219-3
108 pp. $100.00
Buy E-book (.pdf)
Table of contents:
1: Introduction
2: Industry Adoption of ABV
3: Assertion Libraries and Languages
4: Creating Assertion IP
5: Bus Protocol Assertion IP Example
6: ABV Within a Flow
References

Applied Assertion-Based Verification

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.

 
EDA-013