FORMAL TECHNOLOGY NEWSLETTER
Q3 2012

November 12 & 13
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.

Location
Cypress Hotel
Cupertino, CA 95014

Register today at:  http://www.jasper-da.com/JUG_2012

Jasper User Group Meeting – Call for Presentations
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  Email Contact.

DEADLINE FOR ABSTRACTS

Proposal abstracts due: October 15, 2012.
Final presentations due: November 5, 2012.