BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//SemiWiki - ECPv6.17.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:SemiWiki
X-ORIGINAL-URL:https://semiwiki.com
X-WR-CALDESC:Events for SemiWiki
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:20250309T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20251102T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20260308T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20261101T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20270314T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20271107T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20261021
DTEND;VALUE=DATE:20261023
DTSTAMP:20260903T075146Z
CREATED:20260903T075146Z
LAST-MODIFIED:20260903T075146Z
UID:373162-1792540800-1792713599@semiwiki.com
SUMMARY:Jasper User Group 2026
DESCRIPTION:Ready to share and discuss the latest design and verification best practices with your peers from around the world? \nIt’s time for our annual Jasper User Group Conference – San Jose. This interactive\, in-depth technical conference connects designers\, verification engineers\, and engineering managers from around the world to share the latest design and verification practices based on Cadence’s Jasper formal verification technologies and methodologies. This is an in-person conference. The Jasper User Group Conference – San Jose has become the premier industry event for formal experts and beginners alike to learn from each other how to effectively accelerate their design and validation processes by applying formal methods. \nConference highlights include: \n\nUser presentations on core technologies\, applications\, and flows\nRoadmap discussions\nNew technology demos\nExecutive keynotes\nBest presentation awards\nNetworking reception\n\n\n\n\n\n\n\n\n\n\n\nIf your presentation is accepted\, you can: \n\nIncrease industry visibility for your team’s accomplishments in Formal Verification\nImprove and fine-tune your methods with insights from colleagues across the industry\nEarn wide acclaim with a Best Presentation Award\n\nAccepted authors will be expected to travel to the conference and present in-person. Please submit your abstract for consideration by 5:00pm (PDT) on Monday\, August 31\, 2026 \n\n\n\n\n\n\n\n\n\n\nHot Topics for 2026 \n\n\n\n\n\n\n\n\n\n\n\nInovative AI Applications in Formal Verification\nBest practices to achieve formal signoff\nAlgorithmic and datapath verification\nSafety and security verification\nSequential equivalence checking\nDeep deadlock and bug hunting\nMachine learning applied to Formal Verification\nFormal regressions and optimizing compute resources\n\n\n\n\n\n\n\n\n\n\nComplex proofs\, abstraction\, and reduction techniques\nProcessor ISA verification\nProtocol verification with assertion-based VIP\nBlending formal and dynamic verification flows\nDriving broader adoption of formal methods\nFormal verification for design teams\nNovel applications for formal verification\nRISC-V verification\nHigh Level Synthesis Verification\n\n\n\n\n\n\nREGISTER HERE
URL:https://semiwiki.com/event/jasper-user-group-2026/
LOCATION:Cadence Headquarters\, San Jose\, CA\, 2655 Seely Ave\, San Jose\, CA\, 95134\, United States
ATTACH;FMTTYPE=image/png:https://semiwiki.com/wp-content/uploads/2026/09/Screenshot-2026-09-03-005107.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20261022T080000
DTEND;TZID=America/Los_Angeles:20261022T133000
DTSTAMP:20261009T062151Z
CREATED:20261009T061252Z
LAST-MODIFIED:20261009T062151Z
UID:374711-1792656000-1792675800@semiwiki.com
SUMMARY:Rambus Design Summit 2026
DESCRIPTION:Enabling Agentic AI: Memory\, Interconnect and Security Solutions for Autonomous Intelligence​\nOctober 22\, 2026 8:00 am – 1:30 pm PDT\nAbout Event\nAgentic AI is transforming computing systems into intelligent platforms capable of reasoning\, planning\, orchestrating tools\, and acting autonomously. These new AI workloads place unprecedented demands on memory performance\, capacity\, latency\, power efficiency\, data movement and security across the entire computing infrastructure. \nRambus Design Summit 2026 explores how next-generation memory\, interconnect and security technologies are enabling the rise of autonomous AI. From AI training and large-scale inference in the data center to reasoning-enabled AI PCs and edge systems\, this virtual event examines the critical role of these technologies in supporting increasingly sophisticated AI agents. Attendees will gain insight into the latest innovations in server and client memory solutions\, high-performance memory IP for AI accelerators\, interconnect technologies that scale intelligent infrastructure\, and security technologies critical to protecting AI assets and systems. Rambus experts will discuss emerging trends and technology shaping the industry. \nREGISTER HERE
URL:https://semiwiki.com/event/rambus-design-summit-2026/
LOCATION:Virtual
ATTACH;FMTTYPE=image/webp:https://semiwiki.com/wp-content/uploads/2026/10/Rambus_homepage.webp
END:VEVENT
END:VCALENDAR