As a chip designer, you’re probably spending as much headspace on security threats as you are on traditional challenges like power, speed, and functionality. Recent microarchitectural vulnerabilities like “Meltdown” and “Row Hammer” that expose secure information like decryption keys were found only in post silicon after tape out. This shows that conventional simulation-based verification is insufficient to address today’s security concerns.
Cadence’s JasperGold® Formal Verification Platform introduces formal verification to help address today’s growing security challenges by analyzing functional SVA properties as well as secure path propagation properties. In this webinar, we’ll focus on the JasperGold Security Path Verification (SPV) App that enables users to describe undesired leakage or corruption of secure data with dedicated SPV properties and prove the absence of such propagation paths using formal analysis. You’ll experience how security is confirmed—or its leakage paths are presented—using “taint” in the JasperGold Visualize waveform viewer.
Join Cadence® Training and Product Engineering Architect Joerg Mueller and Senior Application Engineer Tom Weissfor this free technical training webinar.
Agenda:
- Background and Security Requirements
- JasperGold SPV App Overview
- Usage Examples
- Summary
- Success Stories
- Demo
Details of the Free Webinar
Date and Time
Thursday, October 7
08:00 PDT / 16:00 BST / 17:00 CEST / 20:30 IST / 23:00 CST
To register for the “Addressing Security Verification Requirements with JasperGold SPV App” webinar, use the REGISTER button below and sign in with your Cadence Support account (email ID and password) to login to the Learning and Support System. Then select “Enroll” to register for the session. Once registered, you’ll receive a confirmation email containing all login details.
If you don’t have a Cadence Support account, go to Registration Help or Register Now, and complete the requested information.
You might also be interested in our related free Online Training.
There is also a Digital Badge available.
For questions and inquiries, or issues with registration, reach out to us:
- Europe, Middle East, and Africa: eur_training@cadence.com
- USA: Lena Robledo
- India: Preeti P Gowda
- China: Cathy Li
- Japan: Yuji Shimazaki
Want to stay up to date on webinars and courses? Subscribe to Cadence Training emails.
Hungry for training? Choose the Cadence Training Menu that’s right for you.
To view our complete training offerings, visit the Cadence Training website.
Related Posts
- Training Insights - Comprehensive RTL Signoff Using JasperGold Superlint App
- Training Insights - Still Relying on Static-Only CDC Signoff? Introducing the JasperGold CDC App!
- JasperGold: Stepping up to RTL Signoff
- Formal Signoff with JasperGold
- Training Insights — Metastability-Aware Verification: Elevate Your Signoff with JasperGold CDC App!
Related Training Bytes
- Still Relying on Static-Only CDC Signoff? Introducing the JasperGold CDC App
- Metastability Aware Verification: Elevate Your Sign-Off With JasperGold CDC!
- Level Up Your RTL Bring-Up: Clean RTL Faster Without Simulation