Verification

Waveform bug hunt: lost transfer

mediumVerification and Debug ReasoningWaveformsETA: 16 min

A ready-valid stream occasionally drops one beat under backpressure. Explain the likely RTL bug from the waveform, then propose the minimal fix and the regression you would add.

Not started

Log in to save drafts and track solved problems.

Problem Statement

A ready-valid stream occasionally drops one beat under backpressure. Explain the likely RTL bug from the waveform, then propose the minimal fix and the regression you would add.

Scoring

Root cause, fix plan

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