Jasper User Group Meeting 2012
Jasper’s annual user meeting will gather designers, verification engineers and engineering managers from around the world to share the latest verification best practices. Jasper’s User Group meeting is an interactive, in-depth technical conference, which focuses on the needs of the Jasper Design Automation user community with the primary goal being to deliver immediately useful technical content.
Why You Should Attend:
- Gain useful insight for using Jasper formal solutions.
- Hear verification case studies presentations from other users.
- Speak to verification experts about your own experiences.
When:
November 12 -13, 2012
Where:
Cypress Hotel
10050 S. De Anza Blvd.
Cupertino, CA 95014
(408) 253-8900
Agenda:
Topics that will be covered include:
- SoC subsystems verification
- Designer-based verification
- Architecture validation
- Low Power verification
- Deadlock Detection
- Coverage
- Jasper technology roadmap
- Glimpse of future technology
CALL FOR TECHNICAL PRESENTATIONS
Calling all Jasper users!
Jasper users are invited to submit proposals for case studies about using Jasper solutions in their designs.
SUGGESTED TOPICS
- Verification coverage
- Low power verification
- Security
- Sequential equivalency checking
- Architecture validation
- SoC integration
- RTL development
- Property synthesis
- Post-silicon debug
- Verification IP, and
- Formal property verification
For more information on proposing a technical presentation, please contact Rob van Blommestein at robvb@jasper-da.com.
DEADLINE FOR ABSTRACTS
Proposal abstracts due: October 15, 2012.
Final presentations due: November 5, 2012.
- Login to post comments