Formal Technology Newsletter by Jasper Design Automation, Q3 2012

 



FORMAL TECHNOLOGY NEWSLETTER
Q3 2012

ATTEND THE JASPER USER GROUP MEETING

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 athttp://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.



IN THE NEWS

We Need a Simpler Faster Approach to Formal Verification – EE Times

Formal Goes Mainstream – SemiWiki

Jasper #5 most interesting solution at DAC - DeepChip 




Review Article Be the first to review this article
Kilopass



Click here for Internet Business Systems © 2014 Internet Business Systems, Inc.
595 Millich Dr., Suite 210, Campbell, CA 95008
+1 (408) 850-9202 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and EngineeringTechJobsCafe - Technical Jobs and ResumesGISCafe - Geographical Information Services	MCADCafe - Mechanical Design and EngineeringShareCG  - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy