object Property extends Property$Intf
Prefix-style utilities to work with properties.
This object exposes the primary API to create and compose properties from booleans, sequences, and other properties.
- Source
- LTL.scala
- Alphabetic
- By Inheritance
- Property
- Property$Intf
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def _and(arg0: Property, argN: Property*)(implicit sourceInfo: SourceInfo): Property
- Attributes
- protected
- def _clock(prop: Property, clock: Clock)(implicit sourceInfo: SourceInfo): Property
- Attributes
- protected
- def _eventually(prop: Property)(implicit sourceInfo: SourceInfo): Property
- Attributes
- protected
- def _implication(seq: Sequence, prop: Property)(implicit sourceInfo: SourceInfo): Property
- Attributes
- protected
- def _implicationNonOverlapping(seq: Sequence, prop: Property)(implicit sourceInfo: SourceInfo): Property
- Attributes
- protected
- def _intersect(arg0: Property, argN: Property*)(implicit sourceInfo: SourceInfo): Property
- Attributes
- protected
- def _not(prop: Property)(implicit sourceInfo: SourceInfo): Property
- Attributes
- protected
- def _or(arg0: Property, argN: Property*)(implicit sourceInfo: SourceInfo): Property
- Attributes
- protected
- def _until(arg0: Property, arg1: Property)(implicit sourceInfo: SourceInfo): Property
- Attributes
- protected
- def and(arg0: Property, argN: Property*)(implicit sourceInfo: SourceInfo): Property
Form the conjunction of two properties.
Form the conjunction of two properties. Equivalent to
arg0 and arg1 and ... and argNin SVA.- Definition Classes
- Property$Intf
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clock(prop: Property, clock: Clock)(implicit sourceInfo: SourceInfo): Property
Specify a
clockrelative to which all cycle delays withinpropare specified.Specify a
clockrelative to which all cycle delays withinpropare specified. Equivalent to@(posedge clock) propin SVA.- Definition Classes
- Property$Intf
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def eventually(prop: Property)(implicit sourceInfo: SourceInfo): Property
Indicate that a property will eventually hold at a future point in time.
Indicate that a property will eventually hold at a future point in time. This is a *strong* eventually, so the property has to hold within a finite number of cycles. The property does not trivially hold by waiting an infinite number of cycles.
Equivalent to
s_eventually propin SVA.- Definition Classes
- Property$Intf
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def implication(seq: Sequence, prop: Property)(implicit sourceInfo: SourceInfo): Property
Precondition the checking of a property (the consequent) on a sequence (the antecedent).
Precondition the checking of a property (the consequent) on a sequence (the antecedent). Equivalent to the overlapping implication
seq |-> propin SVA.- Definition Classes
- Property$Intf
- def implicationNonOverlapping(seq: Sequence, prop: Property)(implicit sourceInfo: SourceInfo): Property
Non-overlapping variant of
Property.implication.Non-overlapping variant of
Property.implication. Equivalent toseq ##1 true |-> propandseq |=> propin SVA.- Definition Classes
- Property$Intf
- def intersect(arg0: Property, argN: Property*)(implicit sourceInfo: SourceInfo): Property
Form the conjunction of two properties, where the start and end times of both sequences must be identical.
Form the conjunction of two properties, where the start and end times of both sequences must be identical. Equivalent to
arg0 intersect arg1 intersect ... intersect argNin SVA.- Definition Classes
- Property$Intf
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def not(prop: Property)(implicit sourceInfo: SourceInfo): Property
Negate a property.
Negate a property. Equivalent to
not propin SVA.- Definition Classes
- Property$Intf
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def or(arg0: Property, argN: Property*)(implicit sourceInfo: SourceInfo): Property
Form the disjunction of two properties.
Form the disjunction of two properties. Equivalent to
arg0 or arg1 or ... or argNin SVA.- Definition Classes
- Property$Intf
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def until(arg0: Property, arg1: Property)(implicit sourceInfo: SourceInfo): Property
Check that a property holds untile another property holds.
Check that a property holds untile another property holds. This operator is weak: the property will hold even if input always holds and condition never holds.
- Definition Classes
- Property$Intf
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
This is the documentation for Chisel.
Package structure
The chisel3 package presents the public API of Chisel. It contains the concrete core types
UInt,SInt,Bool,Clock, andReg, the abstract typesBits,Aggregate, andData, and the aggregate typesBundleandVec.The Chisel package is a compatibility layer that attempts to provide chisel2 compatibility in chisel3.
Utility objects and methods are found in the
utilpackage.The
testerspackage defines the basic interface for chisel testers.