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
Precision Technologies: One stop solution PCB Fab & Assembly
S2C: FPGA Base prototyping- Download white paper
DownStream: Solutions for Post Processing PCB Designs



Internet Business Systems © 2015 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 Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy