Product Brief
Jasper's intelligent proof kits to match protocol specs
Anne-Francoise Pele12/16/2010 11:21 AM EST
Tell us What You Think
We want to know what you thought about this Product. Let us know by adding a comment.
Jasper Design Automation Inc. has introduced Intelligent Proof Kits to ensure faster, more accurate verification of SoC interface protocols.
Jasper said the next evolutionary step for Proof Kits is to encompass more intelligence, more plug-and-play functionality, more automation and more flexibility. The company is working with partners to ensure Jasper’s Intelligent Proof Kits match the protocol specs precisely.
Key features:
Jasper's Intelligent Proof Kits:
- Encapsulate critical behaviors for protocols such as ARM's AMBA.
- Are optimized for high-level verification with Jasper's ActiveDesign and JasperGold formal verification
- Can be deployed early in the design cycle, all the way through verification.
Availability
Jasper Intelligent Proof Kits ship unencrypted with original source code to facilitate user customization and insights into the protocols themselves.
Jasper is initially rolling out Intelligent Proof Kits for AMBA 3 and AMBA 4, followed closely by DFI, DDR and LPDDR versions.
Jasper said the next evolutionary step for Proof Kits is to encompass more intelligence, more plug-and-play functionality, more automation and more flexibility. The company is working with partners to ensure Jasper’s Intelligent Proof Kits match the protocol specs precisely.
Key features:
Jasper's Intelligent Proof Kits:
- Encapsulate critical behaviors for protocols such as ARM's AMBA.
- Are optimized for high-level verification with Jasper's ActiveDesign and JasperGold formal verification
- Can be deployed early in the design cycle, all the way through verification.
Availability
Jasper Intelligent Proof Kits ship unencrypted with original source code to facilitate user customization and insights into the protocols themselves.
Jasper is initially rolling out Intelligent Proof Kits for AMBA 3 and AMBA 4, followed closely by DFI, DDR and LPDDR versions.
|
|
|
|
|
Navigate to related information
Most Popular
Datasheets.com Parts Search
185 million searchable parts
(please enter a part number or hit search to begin)
Browse the technical library
Our technical library houses over 4,000 high-quality sponsored white papers, application notes, reference guides, use cases—all organized by company.
Our technical library houses over 4,000 high-quality sponsored white papers, application notes, reference guides, use cases—all organized by company.