CadenceCONNECT: Jasper User Group 2023

Abstract Submissions

Ready to share and discuss the latest design and verification best practices with your peers from around the world?

It’s time for our annual Jasper User Group Conference. 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. The conference will be held live and in-person. The Jasper User Group Conference 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.

Conference highlights include:

• User presentations on core technologies, applications, and flows
• Roadmap discussions
• New technology demos
• Executive keynotes
• Best presentation awards
• Networking reception

Submit an Abstract

User presentations typically make up at least three-quarters of the conference agenda. We’re seeking your unique perspectives on improving your design and validation methods using Jasper technologies.  These presentations exhibit a combination of technical depth and real-life experiences, of both benefits achieved and lessons learned, that make the Jasper User Group Conference the unique event it is.

If your presentation is accepted, you can:

• Increase industry visibility for you and your team’s field of expertise
• Improve and fine-tune your methods with insights from colleagues across the industry
• Earn wide acclaim with a Best Presentation Award nomination

Accepted authors will be expected to travel to the conference and present in-person. Please submit your abstract for consideration by 5:00pm (PDT) on Wednesday, August 23, 2023.

Hot Topics for 2023

• Best practices to achieve formal signoff
• Algorithmic and datapath verification
• Safety and security verification
• Sequential equivalence checking
• Deep deadlock and bug hunting
• Machine learning for performance and convergence gains
• Formal regressions and optimizing compute resources
• Complex proofs, abstraction, and reduction techniques
• Processor ISA verification
• Protocol verification with assertion-based VIP
• Blending formal and dynamic verification flows
• Driving broader adoption of formal methods
• Formal verification for design teams
• Novel applications for formal verification
• RISC-V verification

REGISTER HERE