Club Formal 2022 – Asia Pacific and Japan

Date: June 15, 2022 (Wednesday) 13: 15-17: 00

Organized by:

Japan Cadence Design Systems, Inc.
INNOTECH CORPORATION IC Solution Headquarters　

Venue: Online (Zoom Webinar)

You can also participate from a web browser.
We recommend using Google Chrome, Firefox, and Chromium Edge.

Expenses: Free

Registration deadline: June 14th (Tuesday) 16:00

How to participate:　

If you have registered, we will inform you of Zoom access information from cdsj_info@cadence.com by 17:00 the day before .

Contact: Japan Cadence Cadence CONNET Secretariat cdsj_info@cadence.com

Jasper ™ Formal Verification Platform is a formal verification solution with a comprehensive verification engine based on mathematical proof methods, but Cadence applies formal verification by providing formal verification apps for each specific verification task. We have improved the verification efficiency while lowering the hurdles for doing so. Due to the influence of COVID-19, this year’s event will be held online as it was last year, but by taking advantage of being online, we will introduce user cases not only from Japan but also from Asia-Pacific. Questions and answers will be held at the end of each session, so please actively participate in the discussion.

REGISTER HERE