Two-flop CDC synchronizer
A CDC task: implement a safe 2FF synchronizer, check reset assumptions, and record proof limitations.
D3 · 50–110 min · verilator, symbiyosys
Local checker available
FPGA Challenges: CDC
Challenges to run locally.
How results are checked
Run this challenge on your computer. The site validates the structure of report.json. A submitted report alone does not prove that the task was completed.