Throughout

Syntax at a glance

a throughout b[*3]

How it works

Throughout is a future sequence concept, not an operator accepted by the current evaluator. Its purpose is to require a Boolean condition to remain true across every sampled cycle of a sequence match. That is useful for describing an enable or safety condition that must hold while a transaction takes place.

Conceptually, if a sequence spans cycles t through t+3, a condition applied throughout that sequence must hold across that whole span. Checking the condition only at t+3 is a different, weaker requirement. A momentary drop in the middle matters even if the value is restored before the endpoint.

For a simple fixed-length case, the current lab can express explicit checks at each cycle using chained conditions. This is only an illustration for a known duration; it is not a general replacement for throughout with arbitrary temporal sequences.

Do not infer continuous-time monitoring from this idea. These properties still concern sampled clock cycles. The complete sequence matching behavior is outside the present educational grammar, so references to throughout are informational until a future backend implements and validates it.