Jasper design Automation will hold its 2012 Users Group meeting at the Cypress Hotel in Cupertino on November 12 and 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.

Proposal abstracts are due on October 15, and final presentations need to be submitted no later than November 5th. Jasper tools help designers to increase their productivity in a number of areas, thus topics that can be presented at the events are varied.

They include:

• 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.