Cadence Connect: Club Formal Europe 2021

Ready to learn and share ideas about the latest formal verification best practices?

Don´t miss this chance to extend your verification expertise and broaden your learning about the latest advances in the field.

With the opportunity to hear from members of the Cadence® Jasper™ R&D team about the technology, roadmap, and use cases, be sure to attend this digital event. Including deep-dive sessions, technical forum for intermediate and advanced users of Jasper technology.

As with the in-person events of past years, expert-to-expert interaction will be enabled through the Zoom platform in the Q&A session after the presentations.

Date

Thursday, December 9, 2021

Time

12:30 GMT / 13:30 CET / 14:30 EET & Israel

Agenda (Time - CET)

13:30 – 14:15 Jasper Technology Overview
14:15 - 15:00 Arm: Flop Parity Verification with Jasper FSV App
15:00 - 15:15 Break
15:15 - 15:45 Deep Dive: C2RTL
15:45 - 16:15 Deep Dive: Security Path Verification Flow
16:15 - 16:45 Deep Dive: Proof Structure
16:45 - 17:00 Wrap-up