Jasper Design Automation Presenting Verification Innovation at DAC 2013

Jasper Design Automation – DAC Booth #2346

MOUNTAIN VIEW, Calif. – May 15, 2013Jasper Design Automation, the leading provider of verification solutions based on state-of-the-art formal technology, will be demonstrating its latest verification solutions in its booth #2346 at the Design Automation Conference (DAC), June 2-6, 2013 in Austin, Texas. 

In addition, Jasper representatives and customers will be presenting in the following events during DAC: 

Insights Presentation - A Formal Approach to Low Power Verification

Who: Lawrence Loh , Vice President of Worldwide Applications Engineering

When: Wednesday, June 5 at 9:00 – 11:00 a.m.

Technical Panel Session 21 - Disruptive Verification Technologies: Can They Really Make a Difference?

Who:      Ziyad Hanna, PhD, Vice President of R&D, Chief Architect will join representatives of ARM, Intel Corp., Breker Verification Systems, University of Michigan and University of British Columbia for this discussion.

When:   Wednesday, June 5, 2013, 9:00 -10:30 a.m.

Where: 16AB

Designer Track 7.25 — Formal - An Integral Part of Chip Design

Who: Normando M. Montecillo, Broadcom Corp., Santa Clara, CA

When: Wednesday, June 5 at 12:30 to 1:30 p.m.

Where: Hall 5

Designer Track 7.33 — Adopting Formal Methods to Increase Productivity and Quality in the Verification of ARM-Based CPU Subsystems

Who: James S. Pascoe - STMicroelectronics, Bristol, United Kingdom

When:  Wednesday, June 5 at 12:30 to 1:30 p.m.

Where: Hall 5 

About Jasper Design Automation

Jasper delivers industry-leading EDA software solutions for semiconductor design, verification, and reuse, based on state-of-the-art formal technology.  Customers include worldwide leaders in wireless, consumer, computing, and networking electronics.  Jasper technology has been an integral part of over 150 successful chip deployments.  Jasper, headquartered in Mountain View, California, is privately held, with offices and distributors in North America, South America, Europe, and Asia.  Visit www.jasper-da.com to reduce risks, increase design, verification and reuse productivity; and accelerate time to market. 

Jasper Design Automation and the Jasper Design Automation logo are trademarks or registered trademarks of Jasper Design Automation, Inc. All other trademarks mentioned are the property of their respective companies.


Rob van Blommestein
650-966-0234 p
Email Contact

Read the complete story ...

Review Article Be the first to review this article
IMTS 2018 Register Now>>

Featured Video
GIS Specialist for Metro Wastewater Reclamation District at Denver, Colorado
Upcoming Events
34th Annual Coordinate Metrology Society Conference 2018 at Grand Sierra Resort, 2500 East Second Street Meeting & Covention Center Reno NV - Jul 23 - 27, 2018
Design of Experiments (DOE) for Process Development and Validation (NTZ) 2018 at DoubleTree by Hilton San Diego Downtown 1646 Front St San Diego CA - Aug 2 - 3, 2018
FARO Measure And Inspect 2018 at Maple Hotel Bangkok Thailand - Aug 8, 2018
COMSOL Conference 2018 Bangalore at ITC Gardenia 1, Residency Road, Shanthala Nagar, Ashok Nagar, Bengaluru, Karnataka India - Aug 9 - 10, 2018
Kenesto: 30 day trial

Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation GISCafe - Geographical Information Services TechJobsCafe - Technical Jobs and Resumes ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise