Packages

object Sequence

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
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Sequence
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. implicit class BoolSequence extends Sequence with SequenceAtom

    Implicitly wraps a Bool and allows it to be used as a sequence or property.

    Implicitly wraps a Bool and allows it to be used as a sequence or property. Use via import chisel3.ltl.Sequence.BoolSequence.

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

    Form the conjunction of two sequences.

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

  5. 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.

  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. 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.

  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  9. 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.

  10. 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.

  11. 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.

  12. 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.

  13. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  15. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  16. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. 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.

  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. 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.

  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. 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.

  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. 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.

  26. 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.

  27. 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.

  28. 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.

  29. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  30. def toString(): String
    Definition Classes
    AnyRef → Any
  31. 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.

  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  33. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  34. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from AnyRef

Inherited from Any

Ungrouped