The Annual Jasper Users Group!
November 2-3 2009, 9AM-5PM.
Techmart, Network Meeting Center - 5201 Great America Parkway, Suite 122 Santa Clara, CA 95054
Enthusiasm for formal reigned at the sixth annual Jasper Users Group Meeting! It was an exciting and informative event, marked by both the quality and quantity of user presentations: up 50% from last year! User and Jasper exec presentations highlighted all eight applications in the “Spectrum of Applications” for formal. Designs described by the presenters included very high-end communications and processing chips - true state-of-the-art designs from the leaders in their field.
For designers, verification engineers, and managers- whether novice or an advanced user of Jasper's tools, this event provided the the opportunity to learn and share.
Agenda:
Our action packed agenda included speakers from leading companies, and covered:
- The spectrum of applications for formal verification, including architectural verification, RTL development, RTL block verification, low power applications, simulation replacement, complex protocol / bus certification, analog / digital and asynchronous applications, SoC integration and post-silicon debug.
- New design methodologies and how they are being rolled out. Formal across the development cycle, with ROI.
- Technical insights and information including topics such as liveness, performance, all about engines, new Proof Grid, Visualize, and Design and State Space Tunneling.
- An update on JasperGold, ActiveDesign and JasperCore. Technology advances, new releases, and an interactive session on Jasper's technology vision and roadmap.
Best Paper Award went to Laurent Arditi of ARM!
Why should you attend JUG?
- To learn about successful deployment and flow integration strategies of other Jasper customers.
- To learn from other leading companies about the latest applications for formal verification across the spectrum of applications, along with targeted ROI and listen to their war stories and solutions.
- To hear other Jasper users' technical presentations on architectural validation, designer self-tests, full block formal, post-silicon debug, and more.
- To be informed on the latest JasperGold and ActiveDesign capabilities.
- To give your feedback on Jasper's technology and product roadmaps.
We look forward to seeing you at the 2010 Jasper Users Group! |
