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 www.jasper-da.com 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.

Contacts:
Rob van Blommestein
650-966-0234 
Email Contact




Review Article Be the first to review this article
Aldec

ClioSoft at DAC

Featured Video
Jobs
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Upcoming Events
2018 FLEX Korea at Room 402/ 403, COEX Seoul Korea (South) - Jun 20 - 21, 2018
INTERSOLAR EUROPE 2018 at Munich Germany - Jun 20 - 22, 2018
DAC 2018 at Moscone Center West San Francisco CA - Jun 24 - 28, 2018
Symposium on Counterfeit Parts and Materials 2018 at College Park Marriott Hotel & Conference Center MD - Jun 26 - 28, 2018
ClioSoft at DAC
TrueCircuits: IoTPLL



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 TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise