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

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 conference the unique event it is. 

If your presentation is accepted, you can: 

• Increase industry visibility for your team’s accomplishments in Formal Verification. 
• Improve and fine-tune your methods with insights from colleagues across the industry. 
• Earn wide acclaim with a Best Presentation Award.

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 Friday, August 22, 2025. 

Hot Topics for 2025

• Best practices to achieve formal signoff 
• Algorithmic and datapath verification 
• Safety and security verification 
• Sequential equivalence checking 
• Deep deadlock and bug hunting 
• Machine learning and AI applied to Formal Verification 
• 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
• High Level Synthesis Verification

Important Dates

Call for Presentations open: June 25

Call for Presentations close: August 22

Acceptance notification: September 12

Draft presentations due: October 8

Final presentations due : October 20

Abstract Guidelines 

• Prepare your abstract for a 35-minute session, not counting audience Q&A. 
• Set up the problem/need your session will  address. (1 – 2 sentences)  
• How will your session solve this problem/meet this need? Mention the main points/topics your session will cover. (1 – 3 sentences)  
• What technologies, services, or methodologies were employed to meet this need? (1 – 2 sentences)  
• What case study(ies) will be cited as examples of success? (1 – 2 sentences)  
• How will your session help attendees or their customers? Will they save time to market? Reduce overhead? Increase productivity? Quantify the big benefit. Example: Saved 6 – 8 weeks. (1 – 2 sentences) 
• 2,500-character limit (including spaces). 

Content Tips 

Please note that rating of abstracts will be based upon (and should also include information regarding) the following criteria for the final presentation: 

• Quality — The abstract should be well organized and easily understood. The abstract and summary are good indicators of what can be expected of the prospective authors for a full-length presentation.  
• Relevance — The abstract should be highly relevant to the interests of a user group audience, and to the track topic in particular.  
• Impact — Submissions reporting on important results, methodologies, or case studies of special significance will be considered favorably.  
• Originality — New design methodologies or a case study for an innovative design have great educational value.  
• Commercial content — It is acceptable to use a product in a design case study or as a proof of concept for a design      methodology, and many of the abstracts a user group views most favorably do just that. However, we also know that the audience responds negatively to anything that comes across as a product pitch. A good case study that uses a real product in an appropriate manner to demonstrate feasibility or illustrate a concept will be considered favorably.