Expand description
Multi-Clock Domain Modeling
Real designs have multiple clock domains. Each domain unrolls independently. Cross-domain references use interleaved scheduling based on clock ratios.
The schedule is computed from each domain’s ratio (numerator, denominator). Within one LCM period, each domain fires proportionally to its normalized rate. On global steps where a domain does NOT fire, a frame condition holds its state variables unchanged.
Structs§
Enums§
Functions§
- compute_
schedule - Compute the interleaved firing schedule for a set of clock domains.
- verify_
multiclock - Verify a multi-clock domain design.