Jasper Signs Up Cavium For Its Next Generation Modeling App

“Our next generation product line uses extremely advanced technology to achieve 100Gbps throughput and rapidly establishing that these blocks function correctly will help speed our time to market and provide our customers with the functionality and performance they require,” said Bruce Fishbein, Vice President of NCD IC Engineering at Cavium. “Jasper’s Architecture Modeling App is helping us further improve our verification processes.”

“Cavium decision to use Jasper’s formal technology for their leading-edge designs is a testament to the power and ease-of-use of our solutions,” said Rajeev Ranjan, Chief Technology Office at Jasper Design Automation. “Our technology has a proven track record with high-end designs. We look forward to partnering closely with Cavium to produce the verification results they require to achieve confidence in their designs.”

JasperGold Architectural Modeling App

The JasperGold Architectural Modeling App provides an easy and well-defined methodology for an efficient modeling and verification of complex protocols. Jasper’s Modeling App models a large part of the protocol much faster and with less effort compared to other modeling and validation methods. It captures protocol specification knowledge at the architectural level; performs exhaustive verification of complex protocols against the specification; creates a golden reference model that can be used in verifying the RTL implementation of the protocol; and automates protocol-related property generation and debugging aids.

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 our 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.