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.
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.
Join our online Radio Show on Friday 11th July starting at 2:00pm Eastern, when EETimes editor of all things fun and interesting, Max Maxfield, and embedded systems expert, Jack Ganssle, will debate as to just what is, and is not, and embedded system.