Simulation-driven diagnosis
Paste or attach relevant simulator output, assertion failures, and module context so genRTL can reason about likely RTL causes before proposing changes.
- Map assertion failures to RTL state and signal behavior
- Use log snippets to identify timing or handshake issues
- Keep proposed patches limited to the failing behavior