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

Featured Video
Associate Packaging Engineer for Unilever at Englewood Cliffs, New Jersey
GIS ANALYST for Cobb County Government at Marietta, California
Senior Account Manager, Utilities for RAMTeCH Software Solutions, Inc. at Stillwater, Minnesota
Management Analys for City of Lenexa at Lenexa, Kansas
BIM / REVIT Senior Structural Modeler for McNamara Salvia at New York, California
Upcoming Events
COMSOL Conference 2018 Lausanne at SwissTech Convention Center Quartier Nord EPFL, Route Louis-Favre 2, 1024 Ecublens Switzerland - Oct 22 - 24, 2018
6th OpenFOAM Conference 2018 at Radisson Blu Hotel, Hamburg Airport Flughafenstraße 1-3 Hamburg Germany - Oct 23 - 25, 2018
ASSESS 2018 CONGRESS at Chateau Elan Winery & Resort 100 Rue Charlemagne, Braselton GA - Oct 28 - 30, 2018
MEMS & Sensors Executive Congress—MSEC 2018 at Silverado Resort and Spa 1600 Atlas Peak Road Napa CA - Oct 28 - 30, 2018
Kenesto: 30 day trial
SolidCAM: See It Live

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