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.

Contact:

Rob van Blommestein
650-966-0234 p
Email Contact



Read the complete story ...


Review Article Be the first to review this article

Featured Video
Jobs
Director of Process Engineering. for Tekni-Plex at Toledo, OH
Sr Mechanical Design Engineer for Medtronic at mounds view, MN
System Designer/Engineer for Bluewater at Southfield, MI
Mechanical Design Engineer 3 for KLA-Tencor at Milpitas, CA
Avionics System Engineer for BAE Systems Intelligence & Security at Arlington, VA
Senior Mechanical Engineer for BAE Systems Intelligence & Security at Arlington, VA
Upcoming Events
Formlabs LA 3D Printing Roadshow at Munky King Lost Angeles CA - Feb 8 - 9, 2018
ESPRIT World 2018 at Indianapolis Marriott Downtown 350 West Maryland Street Indianapolis IN - Jun 11 - 15, 2018
HxGN LIVE 2018 at The Venetian Las Vegas NV - Jun 12 - 15, 2018
IMTS2018 International Manufacturing Tech Show at McCormick Place Chicago IL - Sep 10 - 15, 2018
Tebis



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