chisel6.4.0 < Back


# Packages

-  package root
  Definition Classes
    root
-  package chisel3

  This package contains the main chisel3 API.

  This package contains the main chisel3 API.

  Definition Classes
    root
-  package ltl
  Definition Classes
    chisel3
- AssertProperty
- AssertPropertyLike
- AssumeProperty
- CoverProperty
- Delay
- Property
- Sequence
- SequenceAtom

o

chisel3.ltl

# Sequence

###
Companion trait Sequence

#### 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