次のようにコードを検討してください。
reg [2:0] cnt;
// a is an input (say 4 bit) to design and being assigned after some manipulation
// to some other variable
always @(a)
for (cnt = 0; cnt < 4; cnt = cnt+1) begin
//some operation involving a [bitwise]
end
ご覧のとおり、常にブロックのイベント リストに cnt を含めませんでした。これは、cnt は常にブロックの外部で参照/割り当てられておらず、for ループで完全に反復されるためです。
私の質問は、イベント リストに cnt を表示する必要があるかどうかです。