Jasper Introduces Intelligent Proof Kits For Faster, More Accurate Verification of SoC Interface Protocols
MOUNTAIN VIEW, Calif. – Dec. 14, 2010 – Jasper Design Automation, provider of advanced formal technology solutions, today 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, letting users quickly configure designs to the standard or adapt them to their own custom configuration. Intelligent Proof Kits are optimized for high-level verification with Jasper’s ActiveDesign™ and JasperGold® formal verification, and designers benefit from these kits especially in combination … Read More → "Jasper Introduces Intelligent Proof Kits For Faster, More Accurate Verification of SoC Interface Protocols"