Loading Events

« All Events

  • This event has passed.

Club Formal India – 2022

December 15, 2022

The Forum for Formal Verification Users


Cadence is pleased to once again bring you CadenceCONNECT: Club Formal, a platform for formal verification experts to come together and discuss the latest in formal technologies, including challenges, benefits, and best practices. Hear from your peers on how they are using formal verification techniques in their flows and interact with members of the Cadence® R&D team to discuss the technology, roadmap, and use cases.

In this in-person seminar, you will hear an industry keynote, a Cadence R&D keynote on the latest in JasperTM technology, and several users who will discuss best practices. Plus, we will have deep technical demos and presentations by Cadence formal experts.

Location and Date:

Aloft Bengaluru Outer Ring Road, Cessna Business Park, Kadubeesanahalli, Bengaluru

December 15, 2022, 9:00 – 16:00 IST


Share this post via:


Aloft Bengaluru Outer Ring Road
Cessna Business Park
Kadubeesanahalli, Bengaluru India
+ Google Map