Cambridge Agenda

Date: Tuesday, November 25

Location: Clayton Hotel, 27-29 Station Rd, Cambridge CB1 2FB

Click here for more information on getting to the venue

Parking: There is no onsite parking at the hotel, however there is parking available at the Cambridge Train Station Car Park

Agenda subject to change

Time

Presentation Title

Presenter / Company

08:30 - 09:00

Registration and Welcome Coffee

09:00 - 09:15

Welcome and Introduction

Michael O'Sullivan, Cadence

09:15 - 10:15

Jasper Update and Roadmap

Jin Zhang, Cadence

10:15 - 10:30

Coffee Break

10:30 - 11:00

11:00 - 11:45

11:45 - 12:30

Catalysing Exhaustive Proofs: Lowering the Activation Energy of Formal Verification

Improving Producitivty with Jasper AI Assistants

The Quest for C-RTL Formal Sign-off: Slaying Bugs and Taming Pipelines with Jasper

Ashish Dabari, Axiomise

Joerg Mueller, Cadence

Celia Rodrigues Martinez, Arm

12:30 - 14:00

Lunch Break

14:00 - 14:30

Maximizing PPA Optimization Potential with Jasper SEC

Joerg Mueller, Cadence

14:30 - 15:00

Taking Formal Verification to a Higher Level with Jasper C Apps

Barbara Jobstmann, Cadence

15:00 - 15:30

Coffee Break

15:30 - 16:00

16:00 - 16:30

Achieving Formal Signoff with Bound Signoff Techniques

Unlocking the Full Potential of Jasper Visualize: Debug

Vincent Reynolds, Cadence

Narjes Abouda, Cadence

16:30 - 17:00

17:00 - 18:00

Q&A and Closing Remarks

Happy Hour