Overview

CadenceCONNECT: Jasper User Group 2026 (JUG) arrives at a defining moment for the industry. As agentic AI reshapes every stage of the semiconductor design flow, formal verification stands at the center of that transformation—and this year's JUG is the first to meet that moment head on.

Bringing together designers, verification engineers, and engineering managers for two days of technical learning, innovation, and collaboration, JUG 2026 provides a unique opportunity to explore the latest advancements in formal verification in the agentic era, learn from industry experts, and connect with peers advancing verification methodologies across the semiconductor and systems design ecosystem. 

Whether you are an experienced user or expanding your formal verification expertise, JUG 2026 puts you inside the conversation with practitioners using AI daily—from targeted point tasks in convergence solving to orchestrating complete formal verification signoff flows

Why Attend?

  • Learn how AI agents are taking over repetitive mechanical tasks, freeing engineers to focus on harder problems
  • Discover mature and emerging methodologies that improve verification productivity, coverage closure, and design quality
  • Participate in technical discussions addressing real-world challenges at the intersection of AI and formal verification
  • Network with industry leaders, Jasper experts, and fellow practitioners navigating the same shift
  • Gain first-hand insight into where the Jasper platform is heading as AI becomes a core part of the verification engine
  • Be part of the conversations as they happen. This event will not be live-streamed, and presentation materials may not be available after the conference. The only way to experience the full program, connect with speakers, and access all event content is to attend in person.

Technical Program Highlights

  • User-led sessions showcasing real-world applications of Jasper, including early adoption stories at the frontier of agentic verification workflows
  • Jasper platform roadmap — upcoming features and enhancements, focusing on the integration of AI capabilities into core Jasper flows
  • Live demonstrations of advanced Jasper capabilities, agentic workflows, and next-generation verification      methodologies

CadenceCONNECT: Jasper User Group 2026 is the premier gathering for formal verification professionals, and the first JUG to be held entirely in the agentic AI era. Whether you want to go deeper on Jasper's core capabilities or understand how AI is reshaping what formal can accomplish, this is where to be.

Secure your spot today and join the Jasper community for two days of technical insights, hands-on learning, and networking with the engineers defining the future of formal verification.