Packages

object Sequence extends SequenceObjIntf

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
SequenceObjIntf, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Sequence
  2. SequenceObjIntf
  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 _past(seq: Sequence, delay: Int)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  16. def _pastClock(seq: Sequence, delay: Int, clock: Clock)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  17. def _repeat(seq: Sequence, n: Int = 1)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  18. def _repeatAtLeast(seq: Sequence, n: Int)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  19. def _repeatRange(seq: Sequence, min: Int, max: Int)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  20. def _until(arg0: Sequence, arg1: Sequence)(implicit sourceInfo: SourceInfo): Sequence
    Attributes
    protected
  21. 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
    SequenceObjIntf
  22. 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
    SequenceObjIntf
  23. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  24. 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
    SequenceObjIntf
  25. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  26. 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
    SequenceObjIntf
  27. 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
    SequenceObjIntf
  28. 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
    SequenceObjIntf
  29. 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
    SequenceObjIntf
  30. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  32. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  33. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  34. 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
    SequenceObjIntf
  35. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  36. 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
    SequenceObjIntf
  37. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  38. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  39. 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
    SequenceObjIntf
  40. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  41. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  42. 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
    SequenceObjIntf
  43. def past(seq: Sequence, delay: Int, clock: Clock)(implicit sourceInfo: SourceInfo): Sequence

    Observe a sequence from a previous clock cycle with an explicit clock.

    Observe a sequence from a previous clock cycle with an explicit clock.

    Equivalent to $past(seq, delay, , @(posedge clock)) in SVA.

    Definition Classes
    SequenceObjIntf
  44. def past(seq: Sequence, clock: Clock)(implicit sourceInfo: SourceInfo): Sequence

    Observe a sequence from the previous clock cycle with an explicit clock.

    Observe a sequence from the previous clock cycle with an explicit clock.

    Equivalent to $past(seq, 1, , @(posedge clock)) in SVA.

    Definition Classes
    SequenceObjIntf
  45. def past(seq: Sequence, delay: Int = 1)(implicit sourceInfo: SourceInfo): Sequence

    Observe a sequence from a previous clock cycle.

    Observe a sequence from a previous clock cycle.

    Equivalent to $past(seq, delay) in SVA.

    Definition Classes
    SequenceObjIntf
  46. 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
    SequenceObjIntf
  47. 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
    SequenceObjIntf
  48. 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
    SequenceObjIntf
  49. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  50. def toString(): String
    Definition Classes
    AnyRef → Any
  51. 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
    SequenceObjIntf
  52. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  53. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  54. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from SequenceObjIntf

Inherited from AnyRef

Inherited from Any

Ungrouped