BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Marketing EDA - ECPv6.17.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://marketingeda.com
X-WR-CALDESC:Events for Marketing EDA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Chicago
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:20210314T080000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:20211107T070000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:20220313T080000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:20221106T070000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:20230312T080000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:20231105T070000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Chicago:20220825T093000
DTEND;TZID=America/Chicago:20220825T143000
DTSTAMP:20220805T191404Z
CREATED:20220805T191404Z
LAST-MODIFIED:20220805T191404Z
UID:5021-1661419800-1661437800@marketingeda.com
SUMMARY:Austin Verification Seminar
DESCRIPTION:Join Siemens EDA for an in-person seminar focused on hot issues in design verification\, and solutions you can implement today. \n\n\nAbout this event\n\n\n\nOverview\nDelivering high product quality without sacrificing today’s demanding product schedules means boosting verification productivity and cutting bug escapes. Product development teams must speed time to coverage closure\, requiring new and improved technologies that make a meaningful difference in a verification cycle. \n\n\n\n\nAgenda\n9:00 – 9:30 \nArrival and check-in \nIntroductions and networking with your peers. \n\n\n\n\n9:30 – 10:15 \nKeynote: The state of functional verification: crisis or opportunity? \nPresenter: Harry Foster | Chief Scientist Verification \nHas the industry finally reached a breaking point in terms of a verification crisis? This talk quantitatively answers this question by presenting the latest industry trends in functional verification based on the 2022 Wilson Research Group Functional Verification Study. Although some of this year’s findings are disturbing\, a key point of this talk is to prescribe a holistic and philosophical change in the way we approach design with a foundation based on bug prevention to avert an impending crisis. \n\n\n\n\n10:15 – 10:45 \nTechnology update: Static and formal and the next normal. \nPresenter: Chris Giles | Head of Product Management – Static & Formal Technologies \nNew normals come and go\, but the past three years have been a period of monumental and unexpected change. Succeeding in the market today requires more than working harder but doing the same thing. This session will describe how Siemens EDA’s investments in Static and Formal technologies will help you reduce risk exposure now and for the next new normal. \n\n\n\n\n10:45 – 11:30 \nProductive development via static and formal linting. \nPresenter: Walter Gude | Application Engineering Consultant \nStatic and Formal technologies are each capable of linting RTL to find coding errors and non-compliance before a testbench is ever written. However\, each of these solutions has a sweet spot in the development flow. Learn in this session what each contributes to the overall linting solution\, and when to use what for maximum efficiency\, even in design creation. \n\n\n\n\n11:30 – 12:15 \nMaster-level CDC: Why your CDC methodology is probably working against you. \nPresenter: Vinayak Desai | Principal Product Engineer \nWhile some teams still haven’t adopted CDC verification to ensure success\, those who have consider the problem solved. This perspective leads to complacency and ignores an entire series of issues that condemn projects into rework that no project can afford today in the era of the next normal. This session will identify the issues that often get overlooked in domain crossing analyses and will provide you with strategies to avoid future failures. \n\n\n\n\n12:15 – 1:00 \nLunch will be provided. \n\n\n\n\n1:00 – 1:45 \nUsing Formal technology to secure complex ICs in a connected world. \nPresenter: John Hallman| Product Owner – Trust & Security \nAircraft\, automobiles\, and many other products rely on complex microelectronic components now more than ever to monitor\, control and process critical information. This connected world\, enabled by these devices\, poses increasing challenges to personal safety\, financial loss\, exposure of personal information\, and operation failure. Functional verification of microelectronic devices requires thorough methods and securing the IC in the system requires even more. Siemens’ OneSpin tools and apps have technologies built upon world class formal engines and provide results desired in emerging cybersecurity standards. In this presentation we will introduce apps that provide an automated assessment platform\, perform processor verification\, and offer completeness checking to perform security verification in your IC. \n\n\n\n\n1:45 – 2:30 \nQuantify mutation coverage. \nPresenter: David Landoll | Solution Architect \nFor engineers new to property-based verification\, their critical questions are typically “How good are the properties I’ve already added?” and “What properties should I add next?” For engineers now proficient at adding properties to their design\, their critical questions that remain are “Do my properties cover the entire design?”\, “What properties am I missing?”\, and “Did I do anything wrong setting up the formal testbench?”. Learn in this session how mutation coverage can answer all these questions and more. Mutation coverage can measure the quality of a formal testbench\, provide precise\, actionable information on what parts of the design are verified\, and highlights RTL code that could still be hiding bugs. Additionally\, this technology reveals potential issues in the testbench that might corrupt metrics and give a false sense of confidence. \n\n\n\n\n========================================= \nSeating for this seminar will be limited\, please register to save your seat. \nBy supplying my contact information and registering for this event\, I authorize Siemens Digital Industries Software and its affiliates to contact me via email\, or phone (if provided) about its products as described in detail here. Please visit our privacy statement. \n========================================== \n\n\n\n\nShare this:\n				Share on LinkedIn (Opens in new window)\n				LinkedIn\n			\n				Share on X (Opens in new window)\n				X\n			\n				Share on Facebook (Opens in new window)\n				Facebook\n			Like this:Like Loading…
URL:https://marketingeda.com/event/austin-verification-seminar/
LOCATION:Hotel Granduca Austin\, 320 South Capital of Texas Highway\, West Lake Hills\, TX\, 78746\, United States
CATEGORIES:Seminar
ATTACH;FMTTYPE=image/jpeg:https://marketingeda.com/wp-content/uploads/Siemens-EDA-August-25-2022.jpg
END:VEVENT
END:VCALENDAR