Panel questions come in bursts, one per minute, and each tests whether the answer names the mechanism or recites a slogan. These four drills rehearse the bursts by theme: assume and vacuity, induction and bounds, liveness and SVA, abstraction and signoff. Read each question, answer aloud in two sentences, then check the answer and the trap: the trap column names the mistake the question is fishing for.
Drill | After it you can... |
|---|---|
Place every directive on the right side and kill every vacuous pass. | |
State what any bound and any induction step promise. | |
Separate safety from liveness and read every operator at cycle level. | |
Price an abstraction, read a miter, and close a signoff. |
Suggested order: any order works, but take them in listed order before an interview: the first drill fixes the vocabulary every other drill assumes. Each drill links back to the teaching lesson that proves its answers.
The drill tests recall under time pressure; the teaching lesson carries the proof. A rapid-fire answer that grows into an explanation fails the format it rehearses.