Jasper CDC App
Read White Paper
Key Benefits
- Automatically infers clock intent and synchronization structures from the design to comprehensively analyze CDC structural, functional, and reconvergence issues
- Includes similar analysis and checks to prevent related issues occurring with RDCs
- Supports custom user-defined synchronizers facilitating auto-generation of custom protocol checks
- Performs innovative functional checks for constraints, complex CDC protocols and design assumptions used for waivers, enabling comprehensive CDC and RDC signoff
- Metastability-aware verification in both formal and simulation for catching corner-case domain-crossing bugs rarely found by conventional verification methods
- Innovative auto-waiver solution leveraging proven formal intelligence reduces violation noise and improves waiver handling
- Fully integrated Visualize debug environment including innovative graph view, schematic, and source code browser
Modern system-on-chip (SoC) designs typically contain multiple asynchronous clock domains, and signals are frequently transferred from one clock domain to another. In hardware, such lock domain crossing (CDC) signals are often subject to metastability effects that can cause functional failures. Traditional methods like register-transfer level (RTL) simulation or static timing analysis alone are not sufficient to verify that the data is transferred consistently and reliably across clock domains. As a result, many CDC-related bugs go undetected until the post-silicon verification stage, necessitating costly re-spins. Similar issues can occur with reset domain crossings (RDCs).
The Cadence® Jasper™ Clock Domain Crossing (CDC) App enables users to perform comprehensive CDC and RDC signoff. It automatically infers CDC intent from the design, along with clock and reset information captured either in the formal testbench or in SDC files. The Jasper CDC App comprehensively analyzes structural, functional, and reconvergence issues. Fully integrated with the Jasper Visualize™ Interactive Debug Environment, the Jasper CDC App also provides advanced CDC-specific debugging options, with efficient violation- and waiver-handling capabilities.
Key Features
- Comprehensive structural analysis for CDC and RDC issues
- Strong functional checks backed by best-in-class formal engines
- Metastability modeling and injection in both formal and simulation
- Best-in-class integrated debug environment
- Powerful Tcl interface for flexible custom report generation
- Tight integration with Cadence Xcelium™ Logic Simulation
- Constraint validation in formal and simulation
- Waiver validation using auto/safe waiver flow
-
Jasper RTL Apps
- Jasper FPV App
- Jasper Sequential Equivalence Checking App
- Jasper Design Coverage Verification App
- Jasper Coverage Unreachability App
- Jasper X-Propagation Verification App
- Jasper Control and Status Register App
- Jasper Connectivity Verification App
- Jasper Superlint App
- Jasper Behavioral Property Synthesis App
- Jasper Low-Power Verification App
- Jasper Security Path Verification App
- Jasper Clock Domain Crossing App
- [REDIRECT] Assertion-Based Verification IP
- Jasper FSV App
“We’ve identified functional and structural CDC issues earlier in the RTL signoff phase using the JasperGold CDC App. Eliminating these bugs earlier in the process has increased the quality of our designs and saved us between two and four weeks on the design and verification time for each of our IP.”
David Vincenzoni Design Manager at STMicroelectronics