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.
Rob van Blommestein