Jasper User Group Meeting 2013 Call for Presentations

JUG 2013 Call for Papers

Jasper’s annual user meeting will gather designers, verification engineers and engineering managers from around the world to share the latest verification best practices.

 

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

Designer-based verification

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.

PRESENTATION LENGTH

Case study presentations can be 30 minutes to 1 hour.

BEST PAPER AWARD

Presenter will be given an opportunity to win the "Best Paper" award voted on by JUG attendees.

 

ABSTRACT/PRESENTATION SUBMISSION

For more information on proposing a technical presentation, contact Rob van Blommesteinrobvb@jasper-da.com.

DEADLINE FOR ABSTRACTS

Proposal abstracts due: September 21, 2013.

Final presentations due: October 18, 2013.

Jasper User Group
October 22-23, 2013
Cypress Hotel
10050 S. De Anza Blvd.
Cupertino, CA 95014
(408)253-8900

About JUG

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.

Get the latest updates about Jasper and Formal Verification.
Follow us on Facebook and Twitter.

Facebook  Twitter