Pinpointing race conditions, RTL/TB semantic traps, and reproducible fixes.
1. Race-Region Printout: What Does Each Monitor Print? [Medium]
2. Reset Release Leaves the FSM in an Illegal State [Hard]
3. always_comb with NBA and Missing Else [Medium]
4. UVM Analysis Port Handle Reuse [Medium]
5. join_any Timeout Ghost Thread [Medium]
6. Randomization Always Fails: Hidden Unsat [Easy]Work each puzzle before reading the solution: predict the exact output or answer, name the rule that governs it, then check yourself.