Formal Technology Newsletter
Q2 2012
Thank you for visiting Jasper at DAC

Thank you to everyone who visited Jasper at DAC. We hope that you found the show informative and that you were able to see how our latest in JasperGold Apps solve your tough design and verification challenges and improve productivity throughout your design and verification flow.

DAC Jasper User Presentations

BROADCOM // ARM // NVIDIA // ST

Jasper hosted User Presentations and a Jasper given seminar 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

  • Jasper: Achieving Coverage Closure with Jasper Formal

For detailed description of each seminar, go to http://www.jasper-da.com/DAC_2012_Seminar_Descriptions

For information on how you can view the seminars, please email robvb@jasper-da.com.
Special Jasper Event at AT&T Park
Jasper hosted a private tour and lunch for our customers at AT&T Park. The tour included the playing field, Giants dugout, batting cages, clubhouse/locker room, upper deck, championship trophy and lunch in the private Audi suite. Check out the pictures of the event at http://www.jasper-da.com/DAC_Jasper_ATT_Park_Event
In the News
Kathryn Kranen Elected Chair of Electronic Design Automation Consortium (EDAC)
http://edac.org/downloads/pressreleases2012/EDAC_2012_Board_Release_FINAL.pdf

Getting Formal with Power – Chip Design Magazine
http://chipdesignmag.com/lpd/blog/tag/formal-verification/

Jasper Releases New JasperGold(R) Apps to Solve Tough Challenges and Improve Productivity Throughout the Design and Verification Flow. JasperGold Apps Model Offers Wide Range of Solutions, Flexible Deployment, and Shared Interactive Environment
http://www.jasper-da.com/press-releases/jasper-design-automation-releases-jaspergold-apps-solve-tough-challenges-and-improve

Events

Real-World Applications for Formal Verification Seminars:

Japan
Shin Yokohama Kokusai Hotel, Shin Yokohama, Kanagawa, Japan
June 29, 2012
To register email katayama@synkom.co.jp

India
July 23, Bangalore
July 24, Hyderabad
To register email seminars@cmrda.com
Follow Us on Twitter and Facebook
twitter Twitter - https://twitter.com/#!/jasperda1
facebook Facebook - http://www.facebook.com/jasperda




This message was sent by:
Jasper Design Automation, 707 California Street, Mountain View, CA 94041, USA
Tel: +1 650 966 0200 • www.jasper-da.com

Click here if you prefer not to receive future e-mail from Jasper Design Automation, Inc.

Copyrights © 2012 Jasper Design Automation, Inc. All rights reserved.
Privacy Policy | Trademarks