An async FIFO is the standard answer for streams across unrelated clocks, and it is also the structure signoff scrutinises most closely: two pointers cross in opposite directions, the flags derive from stale information, and reset must agree on both sides. For the design-side construction see the async FIFO RTL lessons; this topic teaches what a reviewer, the structural checks and the verification plan demand from it.
Lesson | After it you can... |
|---|---|
Say what makes the pointer crossing safe and what a check looks for. | |
Explain why conservative flags are safe in both directions. | |
Size depth from burst length, rates and synchroniser latency. | |
Reset both sides correctly and read the tool expectations. |
Suggested order: read the four lessons in page order, then continue to CDC Protocol Verification.
A FIFO has two crossings in opposite directions, flags computed from stale pointers, and shared reset state: each of those is a separate way to corrupt data silently, so each needs its own check.