Jasper Signs Up Cavium for its Next Generation Modeling App
JasperGold Architectural Modeling App Used for Greater Confidence and Faster Verification
March 6, 2013, MOUNTAIN VIEW, Calif. – Jasper Design Automation, the leader in verification solutions based on state-of-the-art formal technology, has announced that Cavium, Inc., a leading provider of highly integrated semiconductor products that enable intelligent processing for networking, communications and the digital home, has deployed Jasper’s Architectural Modeling App to help verify its next generation product portfolio. The JasperGold® Architectural Modeling App enables Cavium’s architects and RTL designers to specify, model and better verify complex behavior.
“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 Architectural Modeling App is helping us further improve our verification processes.”
“Cavium’s 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 Officer 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 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.
Availability
The Architecture Modeling App is available now. For pricing and sales inquiries, please contact info@jasper-da.com.
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.
|
Related News
- Argon Design signs up first licensee for Argon360 real-time video stitching IP
- Jasper Launches Sequential Equivalence Checking App to Formally Verify the Functional Equivalence of RTL Implementations
- Jasper Launches Security Path Verification App - Industry's First Formal Solution for Detecting Security Vulnerabilities in SoC Designs
- TSMC signs up Apple for three-year FinFET deal
- Imagination signs license agreement with Cavium for MIPSr5 architecture
Breaking News
- Logic Design Solutions launches Gen4 NVMe host IP
- ULYSS1, Microcontroller (MCU) for Automotive market, designed by Cortus is available
- M31 is partnering with Taiwan Cooperative Bank to launch an Employee Stock Ownership Trust to strengthen talent retention
- Sondrel announces CEO transition to lead next phase of growth
- JEDEC Publishes LPDDR5 CAMM2 Connector Performance Standard
Most Popular
- Arm's power play will backfire
- Alphawave Semi Selected for AI Innovation Research Grant from UK Government's Advanced Research + Invention Agency
- Secure-IC obtains the first worldwide CAVP Certification of Post-Quantum Cryptography algorithms, tested by SERMA Safety & Security
- Weebit Nano continuing to make progress with potential customers and qualifying its technology Moving closer to finalisation of licensing agreements Q1 FY25 Quarterly Activities Report
- PUFsecurity Collaborate with Arm on PSA Certified RoT Component Level 3 Certification for its Crypto Coprocessor to Provide Robust Security Subsystem Essential for the AIoT era
E-mail This Article | Printer-Friendly Page |