D3CDCCC-BY-4.0OriginalLocal checkerPublished
Two-flop CDC synchronizer
A CDC task: implement a safe 2FF synchronizer, check reset assumptions, and record proof limitations.
- Time
- 50-110 min
- Pass score
- 80/100
- HDL
- SystemVerilog
- Audience
- Junior engineer, Engineer, Maintainer
- Package
- Download available
- Next step
- Run locally, upload report.json
verilatorsymbiyosys