JasperGold UNR App
Key Benefits
- Automatically and exhaustively explores the reachability of yet-to-be-hit cover points in the simulation coverage database
- Exposes bugs with DUT by identifying unexpected unreachable points
- Saves weeks of time and effort to achieve coverage closure metrics by eliminating true unreachable covers
Automating the previously tedious, time-consuming code coverage analysis process, the Cadence® JasperGold® Coverage Unreachability (UNR) App saves weeks of time to attain verification closure. The app takes a partially complete simulation coverage database and register-transfer level (RTL) code for the design under test (DUT) as inputs, and automatically generates properties to formally explore the reachability of uncovered cover points remaining in the database. The JasperGold UNR App can be readily used by simulation users with minimal formal verification experience.
When verification teams measure simulation coverage attained versus effort spent to create further simulation tests, the typical curve is initially steep and greatly flattens later on, signifying diminishing returns of adding new tests. A much greater effort is needed to create tests that increase “last mile” coverage significantly. The knee of this curve may occur anywhere in the 70-95% code coverage range, depending on the DUT. This is an optimal point to run the JasperGold UNR App.
Using the JasperGold UNR App, you can create properties to explore the reachability of the remaining points, identifying points that can be eliminated from further consideration and focusing on where further test creation efforts can be useful. Through this process of formal-assisted coverage closure, the JasperGold UNR App can save weeks of effort.
Key Features
- Automatically generates properties to explore the reachability of yet-to-be-hit cover points in the simulation coverage database
- Outputs a database of unreachable points for easy review, highlighting DUT or testbench bugs
- Supports automatic merging of the set of reviewed and accepted unreachables with the simulation coverage database to improve coverage closure metrics
- Supports Cadence’s Xcelium™ Logic Simulator, Unicov database, vManager™ Verification Management, and Integrated Metrics Center
-
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 Behavioral Property Synthesis App
- JasperGold Low-Power Verification App
- JasperGold Security Path Verification App
- JasperGold Clock Domain Crossing App
- Assertion-Based Verification IP
- JasperGold FSV App