{"id":11032,"date":"2014-03-17T07:59:43","date_gmt":"2014-03-17T14:59:43","guid":{"rendered":"https:\/\/blogs.mentor.com\/verificationhorizons\/?p=11032"},"modified":"2026-03-27T08:35:19","modified_gmt":"2026-03-27T12:35:19","slug":"new-verification-academy-abv-course","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2014\/03\/17\/new-verification-academy-abv-course\/","title":{"rendered":"New Verification Academy ABV Course"},"content":{"rendered":"<p>As some of you might be aware, the Verification Academy has a video course dedicated to the topic of Assertion-Based Verification (ABV). In fact, this was the first video course we released for the academy almost six years ago. To date, it has remained one of our most popular courses. Yet one of the most common requests for improvement to this course has been adding content that focuses more on the verification process and provide guidelines on how to effectively integrate ABV into an existing flow. At the Verification Academy, we always welcome your feedback on content improvement. But before I talk about our new, updated ABV course, let me explain to you why I\u2019m such a big believer in this technology.<\/p>\n<p>Ensuring functional correctness continues to pose one of the greatest challenges for today&#8217;s SoC design teams. Indeed, recent industry studies have found that more time is spent in functional verification than any other project task. [1] But if you dig a little deeper into the trends revealed by these studies, you will find that debugging is the fastest-growing component of the overall verification process, and that on average, it consumes 34 percent of the verification engineer\u2019s total effort. To make matters worse, the industry is witnessing increasing pressure to shorten the overall development cycle. Clearly, new design and verification techniques that improve productivity\u2014combined with a focus on maturing functional verification process capabilities within an organization\u2014are required.<\/p>\n<p><a href=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2013\/07\/Fig-6-2.gif\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium wp-image-9200\" alt=\"Fig-6-2\" src=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2013\/07\/Fig-6-2-520x390.gif\" width=\"520\" height=\"390\" \/><\/a><\/p>\n<p>Assertion-based verification (ABV), although certainly not an end-all to the verification challenge, directly addresses the debugging challenge. For example, those that have effectively adopted an assertion-based verification (ABV) methodology have seen a significant reduction in simulation debugging time (as much as 50 percent [2][3]) due to improved observability. In addition, 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.<\/p>\n<p>While the process of writing assertions is fairly well understood by those skilled in the art\u2014or whose skill can be easily acquired through a wealth of published papers and books that focus on language syntax and semantics\u2014the process of creating a repeatable ABV methodology that integrates into an existing verification flow is not. And this is where our new ABV course will help. We\u2019ve added a new session titled \u201cMaturing a Project\u2019s ABV Process Capabilities\u201d that provides a set of actionable guidelines and recommendations that are process focused. These recommendations are based on years of ABV experience from multiple projects in various market segments, and they should help you achieve effective adoption of ABV on your project.<\/p>\n<p>To learn more about the new ABV course, visit the Verification Academy (<a href=\"http:\/\/www.verificationacademy.com\" target=\"_blank\" rel=\"noopener\">www.verificationacademy.com<\/a>).<\/p>\n<h3>References<\/h3>\n<p align=\"left\">[1]\u00a0\u00a0\u00a0\u00a0 Prologue: The 2012 Wilson Research Group Functional Verification Study (<a href=\"The 2012 Wilson Research Group Functional Verification Study\">here<\/a>)<\/p>\n<p align=\"left\">[2]\u00a0\u00a0\u00a0\u00a0 Y. Abarbanel, I. Beer, L. Gluhovsky, S. Keidar, Y. Wolfsthal, \u201cFoCs\u2014Automatic Generation of Simulation Checkers from Formal Specifications,\u201d Proc. 12th International Conference Computer Aided Verification, pp. 414-427 (2000)<\/p>\n<p align=\"left\">[3]\u00a0\u00a0\u00a0\u00a0 B. Turumella, M. Sharma, M., \u201cAssertion-based verification of a 32 thread SPARC\u2122 CMT microprocessor,\u201d In Proceedings of the 45th Design Automation Conference, DAC 2008, pp. 256 \u2013 261, (2008)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>As some of you might be aware, the Verification Academy has a video course dedicated to the topic of Assertion-Based&#8230;<\/p>\n","protected":false},"author":71592,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"spanish_translation":"","french_translation":"","german_translation":"","italian_translation":"","polish_translation":"","japanese_translation":"","chinese_translation":"","footnotes":""},"categories":[1],"tags":[],"industry":[],"product":[],"coauthors":[],"class_list":["post-11032","post","type-post","status-publish","format-standard","hentry","category-news"],"_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11032","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/users\/71592"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/comments?post=11032"}],"version-history":[{"count":1,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11032\/revisions"}],"predecessor-version":[{"id":19766,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11032\/revisions\/19766"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media?parent=11032"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/categories?post=11032"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/tags?post=11032"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/industry?post=11032"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/product?post=11032"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/coauthors?post=11032"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}