Synopsys Spyglass vV-2023.12

Description

Synopsys Spyglass vV-2023.12

Early Design Analysis Tools Enable Efficient Verification and Optimization of SoC Designs

 
 

Comprehensive, Low-Noise Clock Domain Crossing Verification

Among the many verification challenges confronting system-on-chip (SoC) designers today, clock domain crossings (CDC) ranks near the top in difficulty. Today’s SoCs have dozens or sometimes even hundreds of asynchronous clock domains, making it very difficult to verify using conventional simulation or static timing analysis (STA). RTL simulation is not designed to verify metastability effects which cause data transfer issues across asynchronous clock boundaries and STA does not address asynchronous clock domains issues.

Download