You are given a snippet and asked to predict behavior, then defend it. The interviewer mutates the snippet to probe depth. Success is exact prediction plus a clear rule-based explanation.
1. Scenario: Testbench Hang
2. Scenario: Constraint No-Solution
3. Scenario: Vacuous Assertion Pass
4. Scenario: Coverage Not Closing