Cadence & AWS

Aug 17, 2021

Overview

Demands on verification teams continue to grow exponentially while time to market continues to shrink. Additionally, new classes of devices, variable software payloads, and security threats present new challenges. As teams strive to increase their verification throughput to meet these uncertainties, they are increasingly deploying newer methods such as formal verification. And when compute resources are the bottleneck for achieving throughput, flexible resources on the cloud are a secure and scalable solution.
In this webinar, we will demonstrate both the “why” and the “how” for increasing verification throughput using the Cadence® JasperGold® Formal Verification Platform on AWS cloud.

Agenda

• Welcome and introduction – Cadence
• Why use formal verification on the cloud? – Cadence
• Verification infrastructure on AWS – AWS
• JasperGold platform on AWS cloud – AWS
• Q&A
• Wrap-up

Date and Time

Date: 2021年8月17日 (二)
Time: 2:00-3:00 PM (Taipei Time)