The Annual Jasper Users Group!
November 1-2 2010, 9AM-5PM.
Techmart, Network Meeting Center - 5201 Great America Parkway, Santa Clara, CA 95054
Jasper User’s Group 2010 was an astounding success with over 70 attendees and 14 customer presentations!
Presentation topics ranged from architectural, RTL and block level verification, to post-silicon debug, as well as success stories using Jasper across multiple teams and business units.
- Chasing X-propagations using Formal Verification, ARM
- Applications of Formal Micro-architectural Specifications, ARM
- Formal Usage Models and ROI, QLOGIC
- Effective assertions for common checks using JasperGold, ORACLE
- From early design visualization to multi-million flops verification: Part2, NVIDIA
- Liveness Properties, NVIDIA
- NVIDIA Formal Verification Metrics and ITRS Roadmap, NVIDIA
- Pointer Manager Verification using JasperGold, BROADCOM
- Using JasperGold for Emulation or Post-Silicon Debugging, BROADCOM
- Formal Deployment in Switching Group, BROADCOM
- Use of JasperGold to opportunistically assist simulation during verification closure, AMD
- Specification Refinement and Intent Verification Using Jasper, AMD
- AXI Deadlock Verification with JasperGold, HISILICON
- An update on JasperGold and ActiveDesign, JASPER
- Technology advances, new releases, and an interactive session on Jasper's technology vision and roadmap, JASPER
- Architectural Foundation for Scalability, Incrementality and Parallelism, JASPER
- Coverage Metrics, JASPER
- X-Propagation Verification, JASPER
- Property Synthesis with ActiveProp, JASPER
- Intelligent Proof Kits Featuring AMBA, JASPER
Best Paper Award went to Scott Meeth, NVIDIA for his “Liveness Properties” presentation!
The conference was attended by engineers, design and verification managers as well as executives: a great opportunity for sharing verification challenges and recent experiences. Presentations are available to Jasper users online on the Jasper Formal Expert site.
Why should you attend JUG?
- To learn about successful deployment and flow integration strategies from 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 an even more exciting User’s Group in 2011. |
