Applied Assertion-Based Verification
An Industry Perspective
Seiten
2009
now publishers Inc (Verlag)
978-1-60198-218-6 (ISBN)
now publishers Inc (Verlag)
978-1-60198-218-6 (ISBN)
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.
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, this book provides a set of steps (in a tutorial fashion) for creating assertion-based IP. It 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.
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, this book provides a set of steps (in a tutorial fashion) for creating assertion-based IP. It 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.
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
Erscheint lt. Verlag | 14.4.2009 |
---|---|
Reihe/Serie | Foundations and Trends® in Electronic Design Automation |
Verlagsort | Hanover |
Sprache | englisch |
Maße | 156 x 234 mm |
Gewicht | 165 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Technik ► Elektrotechnik / Energietechnik | |
ISBN-10 | 1-60198-218-6 / 1601982186 |
ISBN-13 | 978-1-60198-218-6 / 9781601982186 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €