Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
EE Times-Asia > T&M

Proof kits enable faster, accurate SoC verification

Posted: 17 Dec 2010 ?? ?Print Version ?Bookmark and Share

Keywords:formal verification? SoC interface protocols? AMBA 3? AMBA 4?

Provider of advanced formal technology solutions, Jasper Design Automation, has introduced Intelligent Proof Kits for accelerated certification of advanced SoC interconnect protocols. Jasper Intelligent Proof Kits encapsulate critical behaviors for popular protocols such as ARM�s AMBA, allowing users to quickly configure designs to the standard or adapt them to their own custom configuration. These kits are optimized for high-level verification with Jasper�s ActiveDesign and JasperGold formal verification, and designers benefit from these kits especially in combination with Jasper�s unique Visualize technology.

Users can deploy Intelligent Proof Kits from early in the design cycle, all the way through verification. Automated features bring rapid integration into the design. Users can visualize selected properties and analyze timing diagrams to understand property behaviors, and cross-reference to the specifications through ActiveDesign, and the design protocol properties can then be seamlessly proven in JasperGold formal verification.

Availability: Jasper Intelligent Proof Kits ship unencrypted with original source code to simplify user customization and insights into the protocols. Intelligent Proof Kits are initially being rolled out for AMBA 3 and AMBA 4, followed closely by DFI, DDR and LPDDR versions.

Article Comments - Proof kits enable faster, accurate S...
*? You can enter [0] more charecters.
*Verify code:


Visit Asia Webinars to learn about the latest in technology and get practical design tips.

Back to Top