Reset Domain Crossing

spv_rdc

Sophisticated RDC analysis for async reset verification with recovery/removal timing and hierarchical analysis.

spv_rdc - Reset Synchronizer Analysis rst_n (async, active low) D Q FF1 (Sync Stage 1) CLK D Q FF2 (Sync Stage 2) CLK rst_sync Recovery/Removal Check: recovery time: 2.1ns (min: 1.5ns) - MET removal time: 0.8ns (min: 0.5ns) - MET Warning: 3 async reset domains detected with potential de-assertion issues

Reset Domain Analysis

Comprehensive identification and analysis of reset domains across the design hierarchy.

Async Reset Verification

Verification of asynchronous reset de-assertion synchronization and recovery/removal timing.

Timing Analysis

Advanced timing analysis for reset recovery and removal constraints with PVT awareness.

Hierarchical Analysis

Bottom-up and top-down analysis supporting complex hierarchical reset architectures.

RDC Sign-Off

Complete RDC sign-off methodology with waiver management and qualification reports.

Integration

Tight integration with spv_linter and spv_cdc for unified crossing analysis.

Experience spv_rdc Today

Request a personalized demo and see how spv_rdc can transform your verification flow.