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.util.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*): 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*): 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): 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*): 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): 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): 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): 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 hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  22. def or(arg0: Sequence, argN: Sequence*): Sequence

    Form the disjunction of two sequences.

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

  23. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  24. def toString(): String
    Definition Classes
    AnyRef → Any
  25. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  26. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  27. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from AnyRef

Inherited from Any

Ungrouped