Skip to main content

Module cdc

logicaffeine_compile::codegen_sva

Module cdc 

Source
Expand description

Clock Domain Crossing (CDC) Formal Verification

CDC bugs are among the hardest to find in simulation. Metastability, data coherence, and synchronizer correctness require formal analysis.

Structs§

CdcClockDomain
A clock domain for CDC analysis.
CdcCrossing
A signal crossing between clock domains.
CdcReport
CDC analysis report.
CdcViolation
A CDC violation.

Enums§

CdcPattern
CDC synchronization pattern.
CdcViolationType
CDC violation type.

Functions§

analyze_cdc
Analyze an RTL module for clock domain crossing issues.
cdc_sva_properties
Generate SVA properties for CDC verification.