Jasper CONN App
Key Benefits
- Captures complex specifications in familiar, human, and machine-readable formats
- Automatically generates connectivity specification from known-good design for use on derivative designs (reverse connectivity)
- Generates all properties automatically
- Automatically black-boxes unnecessary IP blocks for connectivity verification
- Performs exhaustive verification in hours vs. days or weeks
- Fast debug via Visualize and QuietTrace technology
By capturing complex specifications in a familiar format, the Cadence® Jasper™ Connectivity Verification (CONN) App allows you to exhaustively verify the static, structural, temporal, and conditional connectivity of IP blocks inside a system on chip (SoC). Specifically, the app first takes the connectivity specification—captured in a comma-separated-values (CSV) file or an IP-XACT XML file—and the register-transfer level (RTL) design as inputs. Then the Jasper CONN App automatically generates structural, behavioral, and temporal connectivity checks, exhaustively verifying if the connectivity is as specified. A utility is included so you can quickly black-box out unnecessary IP blocks to keep the analysis focused on connectivity, allowing the connectivity verification to scale readily to full chip level.
|
-
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
- Formal VIP
- Jasper FSV App