Video Testimonials

DVCon NVIDIA video

DVCon 2014: NVIDIA’s Syed Suhaib reviews his paper on clock gating verification with Jasper’s SEC formal App

 

nVidia Logo

Sequential Equivalency Checking for Power Optimization

with Jasper Formal

 
ST Logo Low Power Verification and Optimization with Jasper Formal
 
arm-logo.png Multi-processor Verification Success with Jasper Formal - The Proof Is in the ROI
 

arm-logo.png

ActiveProp Property Synthesis at ARM

 

nVidia Logo

Power Management Verification with Jasper

 

arm-logo.png

Embedding Formal Verification into a CPU Design & Validation Project

 

Oski Technology

High-Performance RTL-vs-RTL Sequential Equivalence Checking with Jasper SEC App 

   
DVCon Panel Video

DVCon Panel: Formal Verification from Users' Perspectives

Panelist:

Jon Michelson - NVIDIA
Ambar Sarkar - ParadigmWorks
Alan Hunter - ARM 

 

 
   
John Goodenough discusses formal verification at ARM John Goodenough discusses formal verification with Jasper at ARM
   
Jasper Customer - ARM
John Goodenough
V.P. of Design Technology and Automation
ARM

 
Scott Meeth on using Jasper for RTL verification, protocol certification and post-silicon debug Scott Meeth on using Jasper for RTL verification, protocol certification and post-silicon debug
   
Jasper Customer - NVIDIA
Scott Meeth
Sr. Verification Engineer
NVIDIA

 
Matt Hsu discusses formal verification and how Jasper has helped in a wide variety of verification contracts with major electronics companies Matt Hsu discusses formal verification and how Jasper has helped in a wide variety of verification contracts with major electronics companies.
   
Jasper Customer - Matthew A. Hsu Consulting
Matt Hsu
Matthew A. Hsu Consulting

 
Brian Bailey, verification guru and industry savant, comments on the advantages of Jasper Design Automation for formal verification. Brian Bailey, verification guru and industry savant, comments on the advantages of Jasper Design Automation for formal verification.
   
Jasper Customer - Techbites
Brian Bailey
Verification Guru
Techbites.com