Interactive tool
Sensitivity-list explorer
A teaching model of which signal events wake an always block.
Toggle inputs and watch the event log: complete combo lists vs incomplete
(stale) lists vs edge-triggered flops. Starter: Y = A & B with
always @(A or B).