BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Marketing EDA - ECPv6.17.1//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/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20230312T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20231105T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20240310T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20241103T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20250309T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20251102T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20241003T090000
DTEND;TZID=America/Los_Angeles:20241003T170000
DTSTAMP:20240911T225246Z
CREATED:20240911T225059Z
LAST-MODIFIED:20240911T225246Z
UID:8328-1727946000-1727974800@marketingeda.com
SUMMARY:VC Formal Special Interest Group
DESCRIPTION:Register for the Synopsys VC Formal Special Interest Group (SIG) event today. This event provides an opportunity for users\, managers\, and enthusiasts to stay connected with the latest formal verification innovations\, techniques and methodologies. \nIndustry leaders such as Amazon\, Black Sesame\, Microsoft\, NVIDIA\, Samsung\, and Untether AI will share their experiences with the latest formal verification technologies. Topics that will be covered include strategies for achieving formal convergence\, exploring formal methodologies used for RISC-V verification\, and the integration of VC Formal with generative AI functionalities – which offer the potential to automate the creation of formal verification testbenches. \nKeynote Session \n\nThe Impact of LLMs on Formal Verification \nExplore how LLMs can transform formal verification\, reducing manual effort and improving results. We’ll discuss current benchmarks and future goals for deploying LLMs to enhance formal verification processes. \nPresented by Syed Suhaib\, NVIDIA \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/vc-formal-special-interest-group/
LOCATION:Santa Clara Marriott\, 2700 Mission College Blvd\, Santa Clara\, CA\, 95054\, United States
CATEGORIES:EDA,User Group
ATTACH;FMTTYPE=image/jpeg:https://marketingeda.com/wp-content/uploads/VC-Formal-SIG-October-3-2024.jpg
END:VEVENT
END:VCALENDAR