Not started
Log in to save drafts and track solved problems.
Problem Statement
Create and discharge assertions for async FIFO crossings. Show how you would prove Gray-code correctness and containment of CDC misuse.
Scoring
Assertions, CDC proof
What to deliver
- Compilable RTL / UVM / spec as applicable
- Brief note on trade-offs and timing or coverage assumptions
- Waveform or log for at least one passing test