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