Jasper at DAC 2012
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
To register to view these presentation videos, please click here.