DAC 2012 Jasper User Presentations

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.