JasperGold 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® JasperGold® 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 JasperGold 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.
|
-
JasperGold Formal Verification Platform
- JasperGold Formal Verification Platform
- JasperGold FPV App
- JasperGold Sequential Equivalence Checking App
- JasperGold Design Coverage Verification App
- JasperGold Coverage Unreachability App
- JasperGold X-Propagation Verification App
- JasperGold Control and Status Register App
- JasperGold Connectivity Verification App
- JasperGold Superlint App
- JasperGold Low-Power Verification App
- JasperGold Security Path Verification App
- JasperGold Clock Domain Crossing App
- Assertion-Based Verification IP
- JasperGold FSV App