Solutions

The adoption of formal verification technologies is increasing as designs become more complex. Jasper Design Automation's unique and powerful formal technologies break through to go beyond typical formal solutions to address a wide range of applications. With Jasper's solutions, the benefits of formal technology can now been reaped throughout all design and verification stages including:

• Stand-alone verification of architectural protocols
• Designer sandbox testing for RTL development
• End-to-end data packet integrity
• SoC connectivity and integration verification
• Root-cause isolation and full proofs during post-silicon debug
• Property Synthesis and coverage closure

Jasper's formal verification is a valuable addition to traditional verification methods. For example, applying Jasper's formal techniques early in the design cycle to exhaustively verifying block-level design functionality can produce higher quality RTL delivered to unit and system level verification. Jasper's unique formal technologies and flows enable designer and verification engineers to augment existing flows. Effort applied to one application can be leveraged in others. When applied intelligently, Jasper formal technologies can enhance traditional design and verification flows to help reduce the risks associated with increasing SoC complexity.