Basic Sequences

  • Eduard Cerny
  • Surrendra Dudani
  • John Havlicek
  • Dmitry Korchemny


A sequence works in a way a collection never can.

George Murray

This chapter introduces the notion of sequence – a series of values in time. Sequences are used as building blocks for properties. This chapter describes basic sequence operators: concatenation, fusion, consecutive repetition, and disjunction. It is shown how to build properties from sequences directly, or using implications. Examples explaining typical usage of sequences are provided.


Clock Cycle Sequence Match Sequence Operator Boolean Expression Sequential Property 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 2.
    IEEE Standard Verilog Hardware Description Language (2001) IEEE Std 1364-2001, pp 1–856Google Scholar
  2. 11.
    Armoni R, Fix L, Flaisher A, Grumberg O, Piterman N, Tiemeyer A, Vardi MY (2003) Enhanced vacuity detection in linear temporal logic. In: CAV. pp 368–380Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2010

Authors and Affiliations

  • Eduard Cerny
    • 1
  • Surrendra Dudani
    • 2
  • John Havlicek
    • 3
  • Dmitry Korchemny
    • 4
  1. 1.WorcesterUSA
  2. 2.NewtonUSA
  3. 3.AustinUSA
  4. 4.Kfar-SabaIsrael

Personalised recommendations