Breakfast Bytes Blogs

I have been going to the Jasper User Group for years. Before Cadence acquired Jasper, I worked for Semiwiki and Jasper was one of the accounts I covered. So I would make the annual trek to Cupertino, before it moved to the Cadence auditorium, before it went online. This year's Jasper User Group will take place on November 10 and 11. Yes, it's a digital event.

Agenda

All times are Pacific (California). If you don't have time to watch everything, don't miss Ziyad's presentation (the first one), nor Habeeb's (the last one). These will tell you as much as we dare about the current state of Jasper technology and what you can expect.

November 10

8:15am to 9:15am: State of the Union, Ziyad Hannah, Cadence

9:15am to 10:00am: Datapath Formal Verification 101: Technology + Technique, Disha Puri, Intel

10:00am to 10:45am: Taming the Beast: Case-Study of Anti-Complexity Techniques for Scalable Formal Verification, Vikram Khosa, Arm

11:00am to 12:00pm: Demos

12:15pm to 1:00pm: Identifying Lint Amongst a Cacophony of Noise: A Broad Deployment of Superlint, Jim Kasak, HPE

1:00pm to 1:45pm: Metastability-Aware Formal Verification: A Novel Paradigm in Comprehensive CDC Signoff, Hao Chen, Intel

1:45pm to 2:30pm: AXI Protocol Verification with Assertion-Based VIP for FPGA Teams, Philip Gutierrez, IBM

November 11

8:30am to 9:15am:  KEYNOTE: Inject Formal Into Your Company's DNA, Erik Seligman, Cadence

9:15am to 10:00am: Formal DV Signoff for Digital IPs, Parthasarathy Ramesh, Texas Instruments

10:00am to 10:45am: Verifying Sequential ECCs Used in Safety-Critical Designs with Formal, Aman Kumar, Infineon

11:00am to 12pm: Demos

12:15pm to 1:00pm: Finding Deeply Sequential Residual State Bugs, Anmol Sondhi, Amazon

1:00pm to 1:45pm: Human-Guided Proof Closure, David Gilday, Arm

1:45pm to 2:30pm: Jasper Technology Update, Habeeb Farah, Cadence

Pre-Game

As we did last year, we will be hosting an introductory Jasper webinar prior to the User Group on November 8. The webinar will provide attendees with an overview of Jasper that will enable them to get the most out of Jasper Users Group 2021.

• 

  Introduction to Formal Verification and Jasper Technology
• Common Formal Usage Models and Related Apps
• Formal Complexity Basics
• Formal Signoff Methodology

Learn More

You can see the detailed agenda, including bios for the presenters.

Or look at the Jasper User Group event page, including a link for registration.

Sign up for Sunday Brunch, the weekly Breakfast Bytes email.