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.
David Patterson, known for his pioneering research that led to RAID, clusters and more, is part of a team at UC Berkeley that recently made its RISC-V processor architecture an open source hardware offering. We talk with Patterson and one of his colleagues behind the effort about the opportunities they see, what new kinds of designs they hope to enable and what it means for today’s commercial processor giants such as Intel, ARM and Imagination Technologies.