Dynamic CDC Verification Methodology
with Enhanced Synchronizer Jitter Modeling