Advanced Sequences

Abstract

Poe’s saying that a long poem is a sequence of short ones is perfectly just.— John Drinkwater

In http://dx.doi.org/10.1007/978-1-4419-6600-1-, we covered basic sequence operators, such as delays, consecutive repetition and disjunction. In this chapter, we learn about the remaining sequence operators. Although these remaining operators do not add any additional expressive power to the language, they are very convenient to use, and make assertions more readable and concise. We also consider sequence methods – constructs that generalize the sampled value function $past for Boolean values to sequences, and discuss using sequences as events.

In examples throughout this chapter, we assume that a default clocking is defined, and thus omit the clock in assertions unless there it is need to emphasize a specific clock usage. We assume that e is a Boolean, r and s are sequences, and p is a property.