Jasper at DAC 2012

DAC 2012 Jasper User Presentations

ARM logo    Jasper Customer - Broadcom Corporation       Nvidia logo      ST Logo

Jasper hosted User Presentations in our booth to educate about best practices in verification and the latest JasperGold(R) Apps.  Companies who presented and topics covered include:

  • Broadcom: Clock Sensitive FIFO Verification with JasperGold Apps
  • ARM: Multi-processor Verification Success with Jasper Formal - The Proof is in the ROI
  • NVIDIA: Sequential Equivalency Checking for Power Optimization with JasperGold Apps
  • ST: Low Power Verification and Optimization with Jasper Formal

 Click here for a detailed description of each seminar.

To register to view these presentation videos, please click here.