{"id":18324,"date":"2023-02-27T10:14:09","date_gmt":"2023-02-27T15:14:09","guid":{"rendered":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/?p=18324"},"modified":"2026-03-27T08:51:31","modified_gmt":"2026-03-27T12:51:31","slug":"dvconus-2023-verification-horizons-newsletter-is-out","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2023\/02\/27\/dvconus-2023-verification-horizons-newsletter-is-out\/","title":{"rendered":"DVConUS 2023 Verification Horizons is Out"},"content":{"rendered":"\n
\"\"<\/figure>\n\n\n\n

Some of you may have wondered for the past few years why we chose to use the name Verification Horizons<\/em> for both our blog and our newsletter. The first reason is that it\u2019s a pretty cool name (if I do say so myself). We actually started the newsletter way back in 2005 while the blog didn\u2019t start until a few years later. But now, they\u2019re pretty much one and the same.<\/p>\n\n\n\n

We are now publishing our Verification Horizons newsletter articles on the Verification Academy<\/a> website instead of as a PDF document. You\u2019ll still be able to print the html versions if you prefer that approach, but the feedback we\u2019ve gotten over the years is that most of our audience prefers to read things online, so that\u2019s what we\u2019re doing. In this blog post, I\u2019ll be doing my traditional Editor\u2019s Introduction to, in this case, our DVConUS 2023 edition of the Verification Horizons<\/em> newsletter<\/a>. I\u2019m sure you\u2019ll find the articles interesting and helpful.<\/p>\n\n\n\n

In our first article, \u201cEverything, Everywhere, All at Once: Big Data Reimagines Verification Predictability and Efficiency<\/a>,\u201d my colleague Darron May explains how predictive analytics can be used to apply a Big Data approach to help manage your verification process. We\u2019re very excited to introduce our Questa\u2122 Verification IQ data-driven verification solution that will help you explore the different relationships between the vast amounts of data that we all are (or should be) collecting throughout our verification processes. This article provides some great background on just how Verification IQ does what it does.<\/p>\n\n\n\n

Our next article, \u201cDemocratizing digital-centric mixed-signal verification methodologies<\/a>,\u201d by Sumit Vishwakarma, gives us a great overview of the ways in which analog and mixed-signal can take advantage of some of the methodologies that we\u2019ve employed in digital verification for many years.<\/p>\n\n\n\n

Our third article from our Siemens family is \u201cLane Margining at Receiver and its Application Through a Pipe Message Bus<\/a>,\u201d by Sachin Mishra. This article gives an in-depth look at the new lane margining feature of PCIe gen4, and how designers can use it to create more robust systems.<\/p>\n\n\n\n

We begin our Partners\u2019 Corner section with two great articles on different aspects of RISC-V verification. First we have \u201cThe RISC-V Verification Interface (RVVI) \u2013 Test Infrastructure and Methodology Guidelines,\u201d <\/a>from our friends at Imperas Software. As we all know, when you introduce flexibility into a design, it becomes more difficult to verify. This can be particularly true when it comes to RISC-V designs, since everyone can design their own processor extensions and it falls to the verification team to make sure that they work. This article provides an overview of the RVVI and explains how it can improve the quality and resusability of your processor verification efforts. If you\u2019re using RISC-V in your project, or thinking of using it, I encourage you to check out this article.<\/p>\n\n\n\n

In addition, we also have \u201cA Formal-Based Approach for Efficient RISC-V Processor Verification<\/a>\u201d from our friends at Codasip. As we know, there are certain bugs that are just easier to find via formal verification than simulation, and it is quite easy to introduce such bugs when you add advanced features to your custom RISC-V processor. In this article, they provide a case study of how they used the Siemens EDA Processor Verification App to verify their L31 RISC-V core. Whether you are using the Processor Verification App or not, you\u2019ll learn a few things that ought to help you on your next RISC-V project. And if you\u2019re thinking of using the L31, you\u2019ll be confident that it\u2019s been properly verified.<\/p>\n\n\n\n

We continue in the formal vein with \u201cJumpstart Your Formal Verification with a Little Help<\/a>,\u201d from our friends at Doulos. I\u2019ve known Doug Smith for many years, and I was not surprised when he submitted such a comprehensive article. In this article, Doug walks us through how to utilize \u201chelper code\u201d to not only simplify some important assertions, but also to be able to apply assertions to problems that we otherwise would not have been able to verify formally.<\/p>\n\n\n\n

Last but not least, our friends at Silicon Interfaces bring us \u201cResolving Metastability Issues for Multi-Clock SOC Environments for I2C<\/a>.\u201d In this article, they present a case study of how they used the Questa Clock Domain Crossing (CDC) verification tool to solve metastability issues that arose between parts of the design with different clocks. This is a problem that many of us face in our projects, and I\u2019m sure you\u2019ll find some interesting nuggets to apply to your own multi-clock-domain designs.<\/p>\n\n\n\n

If you\u2019re reading this before or during DVConUS, I hope you can stop by the Siemens booth on the exhibit floor and say hi. Or look for me around the conference. I always love hearing from colleagues who have enjoyed and benefitted from the many resources we provide, whether it\u2019s blog posts, newletter articles, or other valuable content on Verification Academy.<\/p>\n\n\n\n

Respectfully submitted,<\/p>\n\n\n\n

Tom Fitzpatrick<\/p>\n\n\n\n

Editor, Verification Horizons<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"

Some of you may have wondered for the past few years why we chose to use the name Verification Horizons…<\/p>\n","protected":false},"author":71936,"featured_media":18328,"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,9,10],"tags":[820],"industry":[],"product":[],"coauthors":[946],"class_list":["post-18324","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news","category-product-updates","category-tips-tricks","tag-verification-academy"],"featured_image_url":"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2023\/02\/image.png","_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/18324","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\/71936"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/comments?post=18324"}],"version-history":[{"count":3,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/18324\/revisions"}],"predecessor-version":[{"id":18331,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/18324\/revisions\/18331"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media\/18328"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media?parent=18324"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/categories?post=18324"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/tags?post=18324"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/industry?post=18324"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/product?post=18324"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/coauthors?post=18324"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}