Packages

object Sequence extends Sequence$Intf

Prefix-style utilities to work with sequences.

This object exposes the primary API to create and compose sequences from booleans and shorter sequences.

Source
LTL.scala
Linear Supertypes
Sequence$Intf, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Sequence
  2. Sequence$Intf
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. implicit class BoolSequence extends Sequence with SequenceAtom

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def _and(arg0: Sequence, argN: Sequence*)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  5. def _apply(atoms: SequenceAtom*)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  6. def _clock(seq: Sequence, clock: Clock)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  7. def _concat(arg0: Sequence, argN: Sequence*)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  8. def _delay(seq: Sequence, delay: Int = 1)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  9. def _delayAtLeast(seq: Sequence, delay: Int)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  10. def _delayRange(seq: Sequence, min: Int, max: Int)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  11. def _gotoRepeat(seq: Sequence, min: Int, max: Int)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  12. def _intersect(arg0: Sequence, argN: Sequence*)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  13. def _nonConsecutiveRepeat(seq: Sequence, min: Int, max: Int)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  14. def _or(arg0: Sequence, argN: Sequence*)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  15. def _repeat(seq: Sequence, n: Int = 1)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  16. def _repeatAtLeast(seq: Sequence, n: Int)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  17. def _repeatRange(seq: Sequence, min: Int, max: Int)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  18. def _until(arg0: Sequence, arg1: Sequence)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  19. def and(arg0: Sequence, argN: Sequence*)(implicit sourceInfo: SourceInfo): Sequence

    Form the conjunction of two sequences.

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

    Definition Classes
    Sequence$Intf
  20. def apply(atoms: SequenceAtom*)(implicit sourceInfo: SourceInfo): Sequence

    Convenience constructor for sequences.

    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.

    Definition Classes
    Sequence$Intf
  21. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  22. def clock(seq: Sequence, clock: Clock)(implicit sourceInfo: SourceInfo): Sequence

    Specify a clock relative to which all cycle delays within seq are specified.

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

    Definition Classes
    Sequence$Intf
  23. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  24. def concat(arg0: Sequence, argN: Sequence*)(implicit sourceInfo: SourceInfo): Sequence

    Concatenate multiple sequences.

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

    Definition Classes
    Sequence$Intf
  25. def delay(seq: Sequence, delay: Int = 1)(implicit sourceInfo: SourceInfo): Sequence

    Delay a sequence by a fixed number of cycles.

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

    Definition Classes
    Sequence$Intf
  26. def delayAtLeast(seq: Sequence, delay: Int)(implicit sourceInfo: SourceInfo): Sequence

    Delay a sequence by an unbounded range of cycles.

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

    Definition Classes
    Sequence$Intf
  27. def delayRange(seq: Sequence, min: Int, max: Int)(implicit sourceInfo: SourceInfo): Sequence

    Delay a sequence by a bounded range of cycles.

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

    Definition Classes
    Sequence$Intf
  28. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  30. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  31. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  32. def gotoRepeat(seq: Sequence, min: Int, max: Int)(implicit sourceInfo: SourceInfo): Sequence

    GoTo-style repitition of a sequence a fixed number of non-consecutive times, where the final evaluation of the sequence must hold, e.g.

    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.

    Definition Classes
    Sequence$Intf
  33. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  34. def intersect(arg0: Sequence, argN: Sequence*)(implicit sourceInfo: SourceInfo): Sequence

    Form the conjunction of two sequences, where the start and end times of both sequences must be identical.

    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.

    Definition Classes
    Sequence$Intf
  35. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  36. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. def nonConsecutiveRepeat(seq: Sequence, min: Int, max: Int)(implicit sourceInfo: SourceInfo): Sequence

    Repeat a sequence a fixed number of non-consecutive times, where the final evaluation of the sequence does not have to hold, e.g.

    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.

    Definition Classes
    Sequence$Intf
  38. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  39. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  40. def or(arg0: Sequence, argN: Sequence*)(implicit sourceInfo: SourceInfo): Sequence

    Form the disjunction of two sequences.

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

    Definition Classes
    Sequence$Intf
  41. def repeat(seq: Sequence, n: Int = 1)(implicit sourceInfo: SourceInfo): Sequence

    Repeat a sequence a fixed number of consecutive times.

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

    Definition Classes
    Sequence$Intf
  42. def repeatAtLeast(seq: Sequence, n: Int)(implicit sourceInfo: SourceInfo): Sequence

    Repeat a sequence by an unbounded range of consecutive times.

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

    Definition Classes
    Sequence$Intf
  43. def repeatRange(seq: Sequence, min: Int, max: Int)(implicit sourceInfo: SourceInfo): Sequence

    Repeat a sequence by a bounded range of consecutive times.

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

    Definition Classes
    Sequence$Intf
  44. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  45. def toString(): String
    Definition Classes
    AnyRef → Any
  46. def until(arg0: Sequence, arg1: Sequence)(implicit sourceInfo: SourceInfo): Sequence

    Check that a sequence holds untile another sequence holds.

    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.

    Definition Classes
    Sequence$Intf
  47. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  48. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  49. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from Sequence$Intf

Inherited from AnyRef

Inherited from Any

Ungrouped