Jasper User Group Meeting 2012

JUG 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

Registration button
  

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.