Pinpointing race conditions, RTL/TB semantic traps, and reproducible fixes.
1. Scoreboard Sees Previous-Cycle Data [Medium]
2. Reset Release Causes Occasional X State [Hard]
3. always_comb with NBA and Missing Else [Medium]
4. UVM Analysis Port Handle Reuse [Hard]
5. join_any Timeout Ghost Thread [Medium]
6. Randomization Always Fails: Hidden Unsat [Medium]Work each puzzle before reading the solution: predict the exact output or answer, name the rule that governs it, then check yourself.