Formal Verification Interview Prep

Whiteboard answer shape

1. Define requirement context and failing KPI.
2. Mark first divergence boundary.
3. Explain mechanism with model assumptions.
4. Request one proving artifact packet.
5. Propose bounded fix with owner.
6. Define validation matrix and rollback gate.

Interview scenarios

1. scenario-proof-nonconvergence/

2. scenario-overconstraint-false-pass/

3. scenario-lec-mismatch-eco/

4. scenario-deadlock-formal/

Formal deep dive

Formal success depends on model realism, traceable assumptions, and requirement-centric closure.

Concept diagram

requirements -> model -> proof status -> closure decision

Metric graph

closure confidence trend by risk tier

Metrics and artifacts to collect

• proof quality metrics

• reachability status

• residual-risk summary

Mini case study

Classify first divergence before changing assumptions or RTL.

Debug branches

• Classify failure

• Collect evidence

• Apply bounded fix

Senior review question

Ask: which requirement intent is proven, under which assumptions, and what residual risk remains?