Q1 - 2014: Formal Technology Newsletter  

FORMAL TECHNOLOGY NEWSLETTER

linkedin twitter facebook

IN THE NEWS



Upcoming Events

 

DVCon
March 3-5, 2014
Booth #402

Tuesday 9 AM: Fir Ballroom
Practical Approach to Using Formal App to Detect X-Optimism RTL-Related Bugs

Tuesday 9 AM: Fir Ballroom
Formal Verification App Towards Efficient Chip-wide Clock Gating Verification

Thursday 8:30 AM: Carmel Room
Tutorial: Formally Verifying Security Aspects of SoC Designs

CDN Live 2014
March 11-12
Santa Clara Convention Center

SNUG (Synopsys User Group) 2014
March 24-26
Santa Clara Convention Center

EDAC Mixer
February 27, 2014
Savvy Cellar
Mountain View, CA 94041

 

Copyright © 2013 Jasper Design Automation, All rights reserved.
707 California Street, Mountain View, CA 94041
650.966.0200 // www.jasper-da.com // info@jasper-da.com
Click here if you prefer not to receive future e-mail from Jasper Design Automation, Inc.