Sequence

Form the conjunction of two sequences. Equivalent to arg0 and arg1 and ... and argN in SVA.

Convenience constructor for sequences. Allows for the following syntax:

Sequence(a, Delay(), b, Delay(2), c, Delay(3, 9), d, Delay(4, None), e)

See SequenceAtom for more details.

Specify a clock relative to which all cycle delays within seq are specified. Equivalent to @(posedge clock) seq in SVA.

Concatenate multiple sequences. Equivalent to arg0 ##0 arg1 ##0 ... ##0 argN in SVA.

Delay a sequence by a fixed number of cycles. Equivalent to ##delay in SVA.

Delay a sequence by an unbounded range of cycles. Equivalent to ##[delay:$] in SVA.

Delay a sequence by a bounded range of cycles. Equivalent to ##[min:max] in SVA.

GoTo-style repitition of a sequence a fixed number of non-consecutive times, where the final evaluation of the sequence must hold, e.g. a !b b b !b !b b c represents a matching observation of gotoRepeat(b, 1, 3), but a !b b b !b !b b !b c does not. Equivalent to s[->min:max] in SVA.

Form the conjunction of two sequences, where the start and end times of both sequences must be identical. Equivalent to arg0 intersect arg1 intersect ... intersect argN in SVA.

Repeat a sequence a fixed number of non-consecutive times, where the final evaluation of the sequence does not have to hold, e.g. both a !b b b !b !b b c and a !b b b !b !b b !b c represent matching observations of nonConsecutiveRepeat(b, 1, 3). Equivalent to s[=min:max] in SVA.

Form the disjunction of two sequences. Equivalent to arg0 or arg1 or ... or argN in SVA.

Repeat a sequence a fixed number of consecutive times. Equivalent to s[n] in SVA.

Repeat a sequence by an unbounded range of consecutive times. Equivalent to s[n:$] in SVA.

Repeat a sequence by a bounded range of consecutive times. Equivalent to s[min:max] in SVA.

Check that a sequence holds untile another sequence holds. This operator is weak: the property will hold even if input always holds and condition never holds.