{"id":10895,"date":"2014-02-25T15:35:45","date_gmt":"2014-02-25T22:35:45","guid":{"rendered":"https:\/\/blogs.mentor.com\/verificationhorizons\/?p=10895"},"modified":"2026-03-27T08:43:11","modified_gmt":"2026-03-27T12:43:11","slug":"more-dvconmore-mentor-tutorials","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2014\/02\/25\/more-dvconmore-mentor-tutorials\/","title":{"rendered":"More DVCon\u2013More Mentor Tutorials!"},"content":{"rendered":"<p><a href=\"http:\/\/dvcon.org\/\" target=\"_blank\" rel=\"noopener\"><img decoding=\"async\" style=\"float: right\" src=\"http:\/\/www.accellera.org\/home\/dvcon2014logo.png\" alt=\"\" align=\"right\" \/><\/a>As DVCon expands, we at Mentor Graphics have grown our sponsored sessions as well.\u00a0 Would you expect less?<\/p>\n<p>In <a href=\"http:\/\/dvcon.org\/\" target=\"_blank\" rel=\"noopener\"><strong>DVCon\u2019s<\/strong><\/a> recent past, it was a tradition for the North American SystemC User Group (<a href=\"http:\/\/www.nascug.org\/\" target=\"_blank\" rel=\"noopener\"><strong>NASCUG<\/strong><\/a>) to sponsor a day of activity before the official start of the conference.\u00a0 When OSCI merged with Accellera, the day before the official conference start grew to become <em>Accellera Day<\/em> with a broader set of meetings and activities covering many of Accellera\u2019s standards.\u00a0 This has all grown into a more official part of the DVCon program.\u00a0 On Monday at DVCon \u2013 or as many still call it \u2013 <a href=\"http:\/\/www.accellera.org\/news\/events\/dvcon_2014\" target=\"_blank\" rel=\"noopener\"><strong>Accellera Day<\/strong><\/a> \u2013 the tradeshow now joins in opening.\u00a0 I covered this in detail in an <a href=\"https:\/\/blogs.mentor.com\/verificationhorizons\/blog\/2014\/02\/11\/dvcon-2014-standards-on-display\/\" target=\"_blank\" rel=\"noopener\"><strong>earlier blog<\/strong><\/a>, so I won\u2019t repeat myself now.<\/p>\n<p>The pre-conference education and meet-up to discuss the latest in standards development is joined by an end of conference <a href=\"http:\/\/dvcon.org\/tutorials\" target=\"_blank\" rel=\"noopener\"><strong>tutorial series<\/strong><\/a> that has expanded to allow four parallel sessions from three.\u00a0 Instead of the one tutorial we at Mentor Graphics would otherwise sponsor at DVCon, we will offer two in this expanded series. Given the impact verification has on design it would seem right that more time be devoted to topics that address this.\u00a0 One half-day tutorial is just to short to give the subject its due respect.<\/p>\n<p>The two Mentor Graphics sponsored tutorials at DVCon, to be run in series, will devote a day to explore the application of current verification technology by us and users like you.\u00a0 If you are already attending DVCon, you are making your tutorial selections now.\u00a0 And for those who might only be interested to attend the tutorials themselves, DVCon offers a<strong> <\/strong><a href=\"http:\/\/dvcon.org\/content\/rates\" target=\"_blank\" rel=\"noopener\"><strong>tutorials-only package<\/strong><\/a> ($145\/Tutorial).\u00a0 Mentor\u2019s two tutorials are:<\/p>\n<ul>\n<li>Morning Tutorial &#8211; <a href=\"http:\/\/dvcon.org\/content\/event-details?id=163-7-T\" target=\"_blank\" rel=\"noopener\"><strong>Block to System Verification: Smooth Sailing from Simulation to Emulation<\/strong><\/a><\/li>\n<li>Afternoon Tutorial &#8211; <a href=\"http:\/\/dvcon.org\/content\/event-details?id=163-11-T\" target=\"_blank\" rel=\"noopener\"><strong>Formal Verification in Practice: Technology, Methods and Applications<\/strong><\/a><\/li>\n<\/ul>\n<p>The <a href=\"http:\/\/dvcon.org\/content\/event-details?id=163-7-T\" target=\"_blank\" rel=\"noopener\"><strong>first tutorial<\/strong><\/a> references \u201csmooth sailing,\u201d not because this will be a \u201cno-pirate zone,\u201d although I can tell you that since <a href=\"http:\/\/en.wikipedia.org\/wiki\/International_Talk_Like_a_Pirate_Day\" target=\"_blank\" rel=\"noopener\"><strong>International Talk Like a Pirate Day<\/strong><\/a> is in late September, one won\u2019t have to worry about a morning of pirate talk! [Interesting Fun Fact: Mentor Graphics\u2019 headquarters in Wilsonville, OR USA is a short 50 miles (~80 km) north of the creators of this parotic holiday.]\u00a0 The <em>smooth sailing<\/em> comes from the ability to easily use multiple engines from simulation, formal, emulation, FPGA prototyping to address your block to system-level verification needs.<\/p>\n<p>The <a href=\"http:\/\/dvcon.org\/content\/event-details?id=163-11-T\" target=\"_blank\" rel=\"noopener\"><strong>second tutorial<\/strong><\/a> is all about formal.\u00a0 Or, in a more colloquial way to say it, we will answer the question: <em><a href=\"http:\/\/www.oxforddictionaries.com\/us\/search\/all\/?multi=1&amp;q=whatsup\" target=\"_blank\" rel=\"noopener\"><strong>Whatsup<\/strong><\/a><\/em> with formal?\u00a0 No, I doubt we will find more slang terms for formal technology being used and created in the tutorial.\u00a0 But the tutorial will certainly look at more focused applications of formal technology.\u00a0 As a pioneer in focused formal applications (like clock domain crossing) the creation of these focused formal applications has greatly simplified use and expanded technology access to verification teams with RTL design checks, X-state verification, and more joining the list.\u00a0 Maybe we should ask <em>Whatsapp<\/em> with formal! But wait!\u00a0 That slang question is already taken \u2013 and Facebook affirmed ownership with a $19B purchase of it recently.\u00a0 <img loading=\"lazy\" decoding=\"async\" style=\"float: right\" src=\"http:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/8\/85\/Smiley.svg\/120px-Smiley.svg.png\" alt=\"\" width=\"56\" height=\"56\" align=\"right\" \/>Oh well, I lament.\u00a0 Join me at this tutorial and we can explore something suitable and not yet taken as a replacement.\u00a0 I can\u2019t think of a better way to close DVCon than to see if we can invent another $19B term (or app).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>As DVCon expands, we at Mentor Graphics have grown our sponsored sessions as well.\u00a0 Would you expect less? In DVCon\u2019s&#8230;<\/p>\n","protected":false},"author":71541,"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":[326,442,457,493,498,718,749],"industry":[],"product":[],"coauthors":[],"class_list":["post-10895","post","type-post","status-publish","format-standard","hentry","category-news","tag-accellera","tag-dvcon","tag-emulation","tag-formal-verification","tag-fpga-prototype","tag-simulation","tag-systemc"],"_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/10895","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\/71541"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/comments?post=10895"}],"version-history":[{"count":1,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/10895\/revisions"}],"predecessor-version":[{"id":14604,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/posts\/10895\/revisions\/14604"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/media?parent=10895"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/categories?post=10895"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/tags?post=10895"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/industry?post=10895"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/product?post=10895"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/verificationhorizons\/wp-json\/wp\/v2\/coauthors?post=10895"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}