SVA Interview Q&A — Deep Answers

Overview

Alongside the write-the-assertion round, every SVA interview has a verbal round : 'what is the difference between |-> and |=>', 'why does the waveform disagree with the assertion', 'what is a vacuous pass'. These questions are graded on depth — a one-line definition is a junior answer; the senior answer adds the mechanism underneath, the failure mode it causes in practice, and the follow-up the interviewer was about to ask.

Each entry in this topic gives the direct answer first , then supporting code or a trace, then the standard follow-up, and finally an explicit junior vs senior contrast so you can hear the difference in register. Read them aloud; these are speaking drills as much as knowledge drills.

Sub-topics

1. Assertion Fundamentals — immediate vs concurrent, preponed sampling, attempts per clock, assert/assume/cover, labeling.

2. Operators & Semantics — implication flavors, ranged delays, the three repetition operators, throughout/within/intersect, first_match.

3. Vacuity & Correctness — vacuous passes, detecting checking-nothing assertions, cover pairing, strong vs weak.

4. Sampled Values & $past — waveform-vs-assertion disagreements, $rose on vectors, $past startup and gating, X behavior.

5. Methodology & Placement — designer vs DV ownership, inline vs bind, synthesis, reset strategy, assertion density.

6. Debug & Formal — triaging failures at time T, silent assertions, sim vs formal semantics, assume, bounded proofs.

Legend: [SVA] [INTERVIEW]

  ANATOMY OF A SENIOR VERBAL ANSWER

  Question: "What does |-> do?"

  junior ──► definition only
             "overlapped implication: if LHS, check RHS same cycle"

  senior ──► definition
             + mechanism   (antecedent match starts consequent
                            evaluation in the SAME tick; |=> is
                            sugar for |-> ##1)
             + failure mode (off-by-one is the #1 assertion bug;
                            fails known-good RTL at txn boundaries)
             + scope/limit  (vacuous when antecedent never hits —
                            pair with cover)
             + invites the follow-up before it is asked

  Same four layers answer every question in this topic.

Key takeaways

• Verbal SVA rounds grade depth: definition, mechanism, failure mode, limitation — in that order.

• Every classic question has a standard follow-up; answering it unprompted is the strongest signal you can send.

• Practice these answers aloud — fluency under whiteboard pressure is part of what is being measured.