chisel
7.9.0+2-5294dafe-SNAPSHOT
API
Generated with
chisel/chisel3/chisel3.ltl/Sequence/BoolSequence

BoolSequence

chisel3.ltl.Sequence.BoolSequence
implicit class BoolSequence(val inner: Bool) extends Sequence, SequenceAtom

Attributes

Source
LTL.scala
Graph
Supertypes
trait SequenceAtom
trait Sequence
trait Property
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def ###(other: Sequence)(using SourceInfo): Sequence

Equivalent to a ##1 b in SVA.

Equivalent to a ##1 b in SVA.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def ##*(other: Sequence)(using SourceInfo): Sequence

Equivalent to a ##[*] b in SVA.

Equivalent to a ##[*] b in SVA.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def ##+(other: Sequence)(using SourceInfo): Sequence

Equivalent to a ##[+] b in SVA.

Equivalent to a ##[+] b in SVA.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def and(other: Sequence)(using SourceInfo): Sequence

See Sequence.and.

See Sequence.and.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def and(other: Property)(using SourceInfo): Property

See Property.and.

See Property.and.

Attributes

Inherited from:
PropertyIntf (hidden)
Source
LTLIntf.scala
override def clock(clock: Clock)(using SourceInfo): Sequence

See Sequence.clock.

See Sequence.clock.

Attributes

Definition Classes
SequenceIntf
Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def concat(other: Sequence)(using SourceInfo): Sequence

See Sequence.concat.

See Sequence.concat.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def delay(delay: Int = ...)(using SourceInfo): Sequence

See Sequence.delay.

See Sequence.delay.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def delayAtLeast(delay: Int)(using SourceInfo): Sequence

See Sequence.delayAtLeast.

See Sequence.delayAtLeast.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def delayRange(min: Int, max: Int)(using SourceInfo): Sequence

See Sequence.delayRange.

See Sequence.delayRange.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def eventually(using SourceInfo): Property

See Property.eventually.

See Property.eventually.

Attributes

Inherited from:
PropertyIntf (hidden)
Source
LTLIntf.scala
def gotoRepeat(min: Int, max: Int)(using SourceInfo): Sequence

See Sequence.gotoRepeat.

See Sequence.gotoRepeat.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def implication(prop: Property)(using SourceInfo): Property

See Property.implication.

See Property.implication.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def implicationNonOverlapping(prop: Property)(using SourceInfo): Property

See Property.implication.

See Property.implication.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def intersect(other: Sequence)(using SourceInfo): Sequence

See Sequence.intersect.

See Sequence.intersect.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def intersect(other: Property)(using SourceInfo): Property

See Property.intersect.

See Property.intersect.

Attributes

Inherited from:
PropertyIntf (hidden)
Source
LTLIntf.scala
def nonConsecutiveRepeat(min: Int, max: Int)(using SourceInfo): Sequence

See Sequence.nonConsecutiveRepeat.

See Sequence.nonConsecutiveRepeat.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def not(using SourceInfo): Property

See Property.not.

See Property.not.

Attributes

Inherited from:
PropertyIntf (hidden)
Source
LTLIntf.scala
def or(other: Sequence)(using SourceInfo): Sequence

See Sequence.or.

See Sequence.or.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def or(other: Property)(using SourceInfo): Property

See Property.or.

See Property.or.

Attributes

Inherited from:
PropertyIntf (hidden)
Source
LTLIntf.scala
def repeat(n: Int = ...)(using SourceInfo): Sequence

See Sequence.repeat.

See Sequence.repeat.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def repeatAtLeast(n: Int)(using SourceInfo): Sequence

See Sequence.repeatAtLeast.

See Sequence.repeatAtLeast.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def repeatRange(min: Int, max: Int)(using SourceInfo): Sequence

See Sequence.repeatRange.

See Sequence.repeatRange.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def until(other: Sequence)(using SourceInfo): Sequence

See Sequence.until.

See Sequence.until.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def until(other: Property)(using SourceInfo): Property

See Property.until.

See Property.until.

Attributes

Inherited from:
PropertyIntf (hidden)
Source
LTLIntf.scala
def |->(prop: Property)(using SourceInfo): Property

Equivalent to |-> in SVA.

Equivalent to |-> in SVA.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala
def |=>(prop: Property)(using SourceInfo): Property

Equivalent to |=> in SVA.

Equivalent to |=> in SVA.

Attributes

Inherited from:
SequenceIntf (hidden)
Source
LTLIntf.scala

Concrete fields

val inner: Bool

The underlying Bool that is returned and accepted by the LTL intrinsics.

The underlying Bool that is returned and accepted by the LTL intrinsics.

Attributes

Source
LTL.scala
Generated with