Media Alert: Jasper Design Automation To Exhibit At CDN Live Silicon Valley March 12

March 08, 2013 -- Jasper Design Automation, the leader in verification solutions based on state-of-the-art formal technology, will be exhibiting at Cadence’s CDN Live Designer Expo on March 12.

Jasper will be showcasing its wide range of JasperGold® Formal Verification Apps and Solutions that help engineers tackle issues throughout the entire design and verification flow to mitigate risk and meet stringent time-to-market goals.  Among the JasperGold Apps and Solutions that will be highlighted are:

  • Formal Property Verification App
  • Low Power Verification
  • Design Coverage Verification
  • Security Path Verification
  • Architectural Modeling App
  • Connectivity Verification App
  • X-Propagation Verification App
  • RTL Development App
  • Behavioral Property Synthesis App
  • Structural Property Synthesis App
  • Control/Status Register Verification App
  • Post-Silicon Debugging

About JasperGold Apps
JasperGold Apps are built on a single platform that combines multiple formal-based solutions and leverages a common shared database and user interface. The Apps architecture enables sharing of design and verification data for each design under test (DUT) between Apps for increased consistency and productivity. The Apps architecture supports deployment of multiple Apps simultaneously as well as multiple invocations of the same App for improved throughput and performance.   

The Apps architecture is extensible such that customers can take advantage of future Apps that will address emerging design and verification needs. The design and verification challenges that customers have addressed by creating flows using Jasper’s formal technology have been the inspiration for several Apps.  Customers will be able to continue to leverage the powerful and highly programmable platform in JasperGold to develop their customized flows.

About Jasper Design Automation
Jasper Design Automation delivers industry-leading software solutions for semiconductor design, verification, and Intellectual Property (IP) reuse, based on state-of-the-art formal technology.  Customers include worldwide leaders in the wireless, consumer, computing, and networking electronics industries. Jasper technology has been an essential part of 150 plus successful chip deployments. Headquartered in Mountain View, California, the company is privately held, with offices and distributors in North America, South America, Europe, Israel, and Asia.  Visit to reduce risks, increase design, verification and reuse productivity and accelerate time-to-market.


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

Rob van Blommestein
Email Contact

Review Article Be the first to review this article
Featured Video
Mechanical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Director of Process Engineering. for Tekni-Plex at Toledo, Ohio
Mid-Level Mechanical Engineer for Kiewit at lenexa, Kansas
System Designer/Engineer for Bluewater at Southfield, Michigan
SENIOR GIS GAS SPECIALIST for James W. Sewall Company at , Any State in the USA
GIS - Systems Analyst for City of Olathe at Olathe, Kansas
Upcoming Events
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
4th International Conference on Sensors and Electronic Instrumentation Advances (SEIA' 2018) at Movenpick Hotel Amsterdam City Centre Amsterdam Netherlands - Sep 19 - 21, 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