object Property
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
- 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*): Property
Form the conjunction of two properties.
Form the conjunction of two properties. Equivalent to
arg0 and arg1 and ... and argNin SVA. - final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clock(prop: Property, clock: Clock): 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. - 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): 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. - 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): 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. - def implicationNonOverlapping(seq: Sequence, prop: Property): Property
Non-overlapping variant of
Property.implication.Non-overlapping variant of
Property.implication. Equivalent toseq ##1 true |-> propandseq |=> propin SVA. - final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def not(prop: Property): Property
Negate a property.
Negate a property. Equivalent to
not propin SVA. - final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def or(arg0: Property, argN: Property*): Property
Form the disjunction of two properties.
Form the disjunction of two properties. Equivalent to
arg0 or arg1 or ... or argNin SVA. - final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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()
Deprecated Value Members
- def disable(prop: Property, cond: Disable): Property
Disable the checking of a property if a condition is true.
Disable the checking of a property if a condition is true. If the condition is true at any time during the evaluation of the property, the evaluation is aborted. Equivalent to
disable iff (cond) propin SVA.- Annotations
- @deprecated
- Deprecated
(Since version Chisel 6.5) Use withDisable