{"id":11347,"date":"2015-02-23T11:33:38","date_gmt":"2015-02-23T18:33:38","guid":{"rendered":"https:\/\/blogs.mentor.com\/verificationhorizons\/?p=11347"},"modified":"2026-03-27T08:35:46","modified_gmt":"2026-03-27T12:35:46","slug":"from-tightly-coupled-loosely-bolted-to-verification-convergence","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2015\/02\/23\/from-tightly-coupled-loosely-bolted-to-verification-convergence\/","title":{"rendered":"From Tightly Coupled (Loosely Bolted) to Verification Convergence!"},"content":{"rendered":"<p>It\u2019s my favorite time of year again\u2014DVCon!\u00a0 And I believe that the DVCon 2015 technical program committee has put together one of the technically best DVCon\u2019s in years. In this blog I plan on highlighting a few DVCon events that you might want to put on your calendar.<\/p>\n<p><a href=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2015\/02\/2015-DVCon.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-full wp-image-11348\" src=\"https:\/\/blogs.sw.siemens.com\/wp-content\/uploads\/sites\/54\/2015\/02\/2015-DVCon.jpg\" alt=\"2015-DVCon\" width=\"240\" height=\"141\" \/><\/a><\/p>\n<p>First, at this year\u2019s conference the Verification Academy has a dedicated booth (#301), and I hope you stop by to say hello to myself, my friend Tom Fitzpatrick, and an amazing lineup of other Verification Academy subject matter experts.<\/p>\n<p>Next, on Wednesday morning March 4 I have the honor of participating on a verification panel, titled: \u201cArt of Science.\u201d Here, my fellow panelist and I will debate the issue that verification today is considered by some to be more of an art than a science\u2014and one which is perceived as difficult to master. To learn my position on this topic, you\u2019ll have to stop by!<\/p>\n<p>Also on Wednesday at the Mentor sponsored lunch, my colleague Steve Bailey and I have put together both an informative and entertaining talk we\u2019ve title: \u201cFrom Tightly Coupled (Loosely Bolted) to Verification Convergence.\u201d Here, we discuss the state of verification past, present and future while examining the results from our recently industry world-wide study, which I started blogging about a few weeks ago (<a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2015\/01\/21\/prologue-the-2014-wilson-research-group-functional-verification-study\/\" target=\"_blank\" rel=\"noopener\">click here for more details<\/a>). Our talk will examine how advanced techniques are taking hold in mainstream design and provide insights on the recent convergence of verification solutions to meet today\u2019s growing challenges.<\/p>\n<p>Finally, there are two tutorials I\u2019d like to encourage you to attend while at DVCon this year:<\/p>\n<ol>\n<li>Advanced, High-Throughput Debug from Architectural Modeling Through Post-Silicon SoC Validation (<a href=\"http:\/\/dvcon.org\/content\/event-details?id=180-5-T\" target=\"_blank\" rel=\"noopener\">click here for more details<\/a>)<\/li>\n<li>Dead or Alive: Using Automated Formal Techniques to Characterize Dead Code, Reveal Paths to Hit Uncovered States, and Reach Coverage Closure Faster (<a href=\"http:\/\/dvcon.org\/content\/event-details?id=180-8-T\" target=\"_blank\" rel=\"noopener\">click here for more details<\/a>)<\/li>\n<\/ol>\n<p>I look forward to meeting you at DVCon 2015!<\/p>\n","protected":false},"excerpt":{"rendered":"<p>It\u2019s my favorite time of year again\u2014DVCon!\u00a0 And I believe that the DVCon 2015 technical program committee has put together&#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":[442,506,732,820],"industry":[],"product":[],"coauthors":[],"class_list":["post-11347","post","type-post","status-publish","format-standard","hentry","category-news","tag-dvcon","tag-functional-verification","tag-standards","tag-verification-academy"],"_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11347","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=11347"}],"version-history":[{"count":1,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11347\/revisions"}],"predecessor-version":[{"id":19778,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/11347\/revisions\/19778"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media?parent=11347"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/categories?post=11347"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/tags?post=11347"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/industry?post=11347"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/product?post=11347"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/coauthors?post=11347"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}