• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Blogs
  2. Verification
  3. Training Insights - Addressing Security Verification Requirements…
Nizar Hanna
Nizar Hanna

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
online
CDC
training
app
JasperGold
verification

Training Insights - Addressing Security Verification Requirements with JasperGold SPV App

21 Sep 2021 • 2 minute read

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 VisualizeTm waveform viewer. 

Join Cadence® Training and Product Engineering Architect Joerg Mueller and Senior Application Engineer Tom Weiss for 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.

REGISTER

You might also be interested in our related free Online Training.

  • SVA, Formal and JasperGold Fundamentals for Designers v1906 (Online)

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

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information